@@ -122,6 +122,8 @@ benchmark krausest
122 hs-source-dirs: benchmarks
122 hs-source-dirs: benchmarks
123 main-is: krausest.hs
123 main-is: krausest.hs
124 ghc-options: -O2 -fspecialise-aggressively -DGHCJS_GC_INTERVAL=60000
124 ghc-options: -O2 -fspecialise-aggressively -DGHCJS_GC_INTERVAL=60000
126+ ghc-options: -dedupe
125 type: exitcode-stdio-1.0
127 type: exitcode-stdio-1.0
127source-repository head
129source-repository head