@@ -804,7 +804,7 @@ Executable idris-javascript
804804 , transformers
805805
806806 ghc-prof-options: -auto-all -caf-all
807− ghc-options: -threaded -rtsopts -funbox-strict-fields
807+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
808808
809809Executable idris-node
810810 Main-is: Main.hs
@@ -817,4 +817,4 @@ Executable idris-node
817817 , transformers
818818
819819 ghc-prof-options: -auto-all -caf-all
820− ghc-options: -threaded -rtsopts -funbox-strict-fields
820+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2