fpco / ide-backend

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

C object files list not cleared when restarting session #182

Closed Mikolaj closed 10 years ago

Mikolaj commented 10 years ago

This may lead to error messages such as in https://github.com/fpco/fpco/issues/3556#issuecomment-41013893