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)

...