@@ -95,11 +95,6 @@ flag no-fusion
95 manual: True
95 manual: True
96 default: False
96 default: False
99− description: Use C malloc instead of GHC malloc
104 description: off=GHC default, on=-O2
99 description: off=GHC default, on=-O2
105 manual: True
100 manual: True
@@ -144,8 +139,6 @@ common compile-options
144 if flag(use-folds)
139 if flag(use-folds)
145 cpp-options: -DUSE_FOLDS_EVERYWHERE
140 cpp-options: -DUSE_FOLDS_EVERYWHERE
147− if flag(use-c-malloc)
148− cpp-options: -DUSE_C_MALLOC
150 ghc-options: -Weverything
143 ghc-options: -Weverything
151 -Wno-implicit-prelude
144 -Wno-implicit-prelude