Page History
...
In both cases this was due to a problem with the type checking in mypy (in principle using the mypyd daemon spawned by ami). The two cases that cause caused this error:
- a reusable box written by the user where the box had an illegal python name with a dash in it, causing the mypy parsing to fail (I think)
- defunct mypy processes getting leftover that needed to be killed by hand (Seshu will understand why the mypyd was not running correctly)
...
Overview
Content Tools