Zombie process fixes about sbv HOT 5 CLOSED

Hi @LeventErkok, thank you for pointing this out. I will have a look at the test failures and see whether I can do something with it.

from sbv.

Note: From what I can tell, the changes you put in changes the way exceptions are processed. Perhaps this isn't that surprising. But we need to find a way so the exceptions are processed in a reliable way, as it changes the error messages users see. (As exemplified by make test TGT=exceptionRemote1.) This order is important to maintain.

from sbv.

Hi @LeventErkok, please see #695 for a new fix. This version should pass exceptionRemote1.

from sbv.

Great! https://hackage.haskell.org/package/sbv-10.10 is now on hackage that contains your fix.

from sbv.

Great! Thank you.

from sbv.