git.iko.soy/Idris-dev
on master help sign in
added optimizations to js/node cabal section
ba01be3raichoo
idris.cabal+2−2
compare with master
unifiedsplit
@@ -804,7 +804,7 @@ Executable idris-javascript
804 , transformers
804 , transformers
805
805
806 ghc-prof-options: -auto-all -caf-all
806 ghc-prof-options: -auto-all -caf-all
807− ghc-options: -threaded -rtsopts -funbox-strict-fields
807+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
808
808
809Executable idris-node
809Executable idris-node
810 Main-is: Main.hs
810 Main-is: Main.hs
@@ -817,4 +817,4 @@ Executable idris-node
817 , transformers
817 , transformers
818
818
819 ghc-prof-options: -auto-all -caf-all
819 ghc-prof-options: -auto-all -caf-all
820− ghc-options: -threaded -rtsopts -funbox-strict-fields
820+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2