Closed dritchie closed 8 years ago
Seems like there's something lingering around in the global coroutine from the previous execution that shouldn't be.
Yeah, I think this is caused by the same problem as #1. I'll take a look.
Closed by probmods/webppl#565.
If you run this code in a code box
you'll get an error (as intended). Now, if you try to run any code in the same code box after this, you'll get the error
Seems like there's something lingering around in the global coroutine from the previous execution that shouldn't be.