mirror of
https://github.com/Avi-D-coder/implicit-hie.git
synced 2024-11-23 02:06:17 +03:00
O2
This commit is contained in:
parent
93cd9c7d93
commit
ee45bece09
@ -26,9 +26,9 @@ dependencies:
|
|||||||
- yaml
|
- yaml
|
||||||
|
|
||||||
ghc-options:
|
ghc-options:
|
||||||
# - -O2
|
- -O2
|
||||||
# - -flate-specialise
|
- -flate-specialise
|
||||||
# - -fexpose-all-unfoldings
|
- -fexpose-all-unfoldings
|
||||||
- -fspecialize-aggressively
|
- -fspecialize-aggressively
|
||||||
- -Wall
|
- -Wall
|
||||||
- -Wincomplete-record-updates
|
- -Wincomplete-record-updates
|
||||||
|
Loading…
Reference in New Issue
Block a user