@@ -600,7 +600,7 @@ benchmark fileio
600 type: exitcode-stdio-1.0
600 type: exitcode-stdio-1.0
601 -- A value of 400 works better for some benchmarks, however, it takes
601 -- A value of 400 works better for some benchmarks, however, it takes
602 -- extraordinary amount of time to compile with that.
602 -- extraordinary amount of time to compile with that.
603− ghc-options: -funfolding-use-threshold=150
603+ -- ghc-options: -funfolding-use-threshold=150
604 hs-source-dirs: benchmark
604 hs-source-dirs: benchmark
605 main-is: FileIO.hs
605 main-is: FileIO.hs
606 if flag(benchmark)
606 if flag(benchmark)