Daniel Gröber ec1b115cc1 In check, apply ghcUserOptions after setting -Wall

2014-08-13 19:28:08 +02:00

..

GhcMod

In check, apply ghcUserOptions after setting -Wall

2014-08-13 19:28:08 +02:00

GhcMod.hs

Expose GhcModError

2014-08-12 21:00:06 +02:00