Daniel Gröber e360f7eb44 Fix older GHCs

2015-08-19 09:05:57 +02:00

..

GhcMod

Fix older GHCs

2015-08-19 09:05:57 +02:00

GhcMod.hs

Drop memory-mapped files, since ghc doesn't play well with those

2015-08-16 23:20:00 +03:00