fpco / ide-backend

ide-backend drives the GHC API to build, query, and run your code
120 stars 17 forks source link

TestSuite leaves servers running #231

Closed edsko closed 10 years ago

edsko commented 10 years ago

Most of these were due to the fact that runStmt didn't need to be coupled necessarily with a corresponding interrupt or forceInterrupt; however, now that runStmt forks the server, it is important to treat runStmt as a resource allocation function; see also https://github.com/fpco/ide-backend/issues/219#issuecomment-53546530.