blob: 70de257142191cb729d5d8b68d38dc0430db0b9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
MHU_OptionsGHC.hs:1:17: error:
Unknown flag in {-# OPTIONS_GHC #-} pragma: -working-dir=a
MHU_OptionsGHC.hs:2:17: error:
Unknown flag in {-# OPTIONS_GHC #-} pragma: -hidden-module=A
MHU_OptionsGHC.hs:3:17: error:
Unknown flag in {-# OPTIONS_GHC #-} pragma: -reexported-module=A
MHU_OptionsGHC.hs:4:17: error:
Unknown flag in {-# OPTIONS_GHC #-} pragma: -this-package-name=pp
|
