Daniel Gröber e92bd0af48 Disable obj loading for targets (Fix #554)

2015-09-10 07:48:13 +02:00

..

GhcMod

Disable obj loading for targets (Fix #554)

2015-09-10 07:48:13 +02:00

GhcMod.hs

Also catch exceptions thrown in IO

2015-09-01 10:29:21 +02:00