chore(ghc): dump splices to files
This commit is contained in:
parent
05e74c7732
commit
90da1228f4
@ -204,6 +204,7 @@ library:
|
|||||||
ghc-options:
|
ghc-options:
|
||||||
- -O0
|
- -O0
|
||||||
- -ddump-splices
|
- -ddump-splices
|
||||||
|
- -ddump-to-file
|
||||||
cpp-options: -DDEVELOPMENT
|
cpp-options: -DDEVELOPMENT
|
||||||
else:
|
else:
|
||||||
ghc-options:
|
ghc-options:
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user