Daniel Gröber f61dd0a9e6 Fix re-init of ghc-modi session after environment change ... Using `dropSession` instead of a weird exception cludge		2015-08-05 08:52:52 +02:00
..
GHCMod.hs	Fix re-init of ghc-modi session after environment change	2015-08-05 08:52:52 +02:00
GHCModi.hs	spawnProcess doesn't exist before 7.8	2015-05-20 12:05:43 +02:00
Misc.hs	Fix re-init of ghc-modi session after environment change	2015-08-05 08:52:52 +02:00