stack: ghc-options notes
This commit is contained in:
parent
267f23dabb
commit
f39938d7ef
@ -29,3 +29,10 @@ extra-deps:
|
|||||||
# tell GHC to write hie files, eg for weeder. Rumoured to be slow.
|
# tell GHC to write hie files, eg for weeder. Rumoured to be slow.
|
||||||
# ghc-options:
|
# ghc-options:
|
||||||
# "$locals": -fwrite-ide-info
|
# "$locals": -fwrite-ide-info
|
||||||
|
|
||||||
|
# ghc-options:
|
||||||
|
# "$locals": -ddump-timings
|
||||||
|
# "$targets": -Werror
|
||||||
|
# "$everything": -O2
|
||||||
|
# some-package: -DSOME_CPP_FLAG
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user