stack.yaml: remove RTS options

This commit is contained in:
John MacFarlane 2019-03-28 08:58:11 -07:00
parent f520c4dfbb
commit 33476b30f9

View file

@ -18,5 +18,5 @@ extra-deps:
- texmath-0.11.2.2
- cmark-gfm-0.1.8
ghc-options:
"$locals": -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Werror=missing-home-modules -Widentities -Wcpp-undef -fhide-source-paths "+RTS -A32M -RTS"
"$locals": -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Werror=missing-home-modules -Widentities -Wcpp-undef -fhide-source-paths
resolver: lts-13.9