[ 1 of 31] Compiling BaseDefs ( BaseDefs.hs, BaseDefs.o ) ==================== FloatOut stats: ==================== 65 Lets floated to top level; 0 Lets floated elsewhere; from 104 Lambda groups ==================== FloatOut stats: ==================== 9 Lets floated to top level; 4 Lets floated elsewhere; from 219 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 219 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 232 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 8512 1669 PreInlineUnconditionally 2529 PostInlineUnconditionally 899 UnfoldingDone 187 RuleFired 4 +# 24 ++ 23 ==#->case 9 >=# 2 SC:g0 1 SC:p0 2 SC:showsPrec0 6 SC:showsPrec2 1 SPEC BaseDefs.$f32 1 SPEC BaseDefs.$f38 8 SPEC GHC.Base.$f10 2 SPEC ic 5 dataToTag# 17 eqString 34 foldr/app 24 unpack 24 unpack-list 165 LetFloatFromLet 2 EtaReduction 2317 BetaReduction 69 CaseOfCase 613 KnownBranch 33 CaseMerge 17 FillInCaseDefault 29 SimplifierDone 12 AltMerge [ 2 of 31] Compiling MyUtils ( MyUtils.hs, MyUtils.o ) ==================== FloatOut stats: ==================== 18 Lets floated to top level; 0 Lets floated elsewhere; from 34 Lambda groups ==================== FloatOut stats: ==================== 18 Lets floated to top level; 0 Lets floated elsewhere; from 35 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 43 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 43 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 681 182 PreInlineUnconditionally 115 PostInlineUnconditionally 44 UnfoldingDone 37 RuleFired 5 ++ 1 ==#->case 1 augment/build 1 concat 2 fold/build 4 foldr/app 1 foldr/single 4 map 2 mapList 8 unpack 8 unpack-list 5 LetFloatFromLet 5 EtaReduction 247 BetaReduction 1 CaseOfCase 21 KnownBranch 24 FillInCaseDefault 22 SimplifierDone [ 3 of 31] Compiling Utils ( Utils.hs, Utils.o ) ==================== FloatOut stats: ==================== 68 Lets floated to top level; 0 Lets floated elsewhere; from 90 Lambda groups ==================== FloatOut stats: ==================== 12 Lets floated to top level; 0 Lets floated elsewhere; from 125 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 127 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 134 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 3442 784 PreInlineUnconditionally 1022 PostInlineUnconditionally 256 UnfoldingDone 88 RuleFired 13 ++ 1 <=# 8 SC:$j_sdov0 4 SC:$j_sdox0 3 SC:$wutSetIntersection0 3 SC:$wutSetIntersection1 3 SC:$wutSetSubtraction0 3 SC:$wutSetSubtraction1 3 SC:$wutSetUnion0 3 SC:$wutSetUnion1 2 SC:Utils.interleave0 3 SC:f0 4 SC:rmdup0 2 SPEC Utils.utMakeName 1 SPEC Utils.utiIndent 2 SPEC insert 1 fold/build 11 foldr/app 1 foldr/augment 3 foldr/single 2 map 2 mapList 1 take 1 takeList 4 unpack 3 unpack-list 1 zipWith 35 LetFloatFromLet 12 EtaReduction 964 BetaReduction 17 CaseOfCase 250 KnownBranch 1 CaseElim 9 CaseIdentity 2 FillInCaseDefault 62 SimplifierDone 2 AltMerge [ 4 of 31] Compiling DomainExpr ( DomainExpr.hs, DomainExpr.o ) ==================== FloatOut stats: ==================== 32 Lets floated to top level; 6 Lets floated elsewhere; from 35 Lambda groups ==================== FloatOut stats: ==================== 5 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 31 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 828 195 PreInlineUnconditionally 128 PostInlineUnconditionally 71 UnfoldingDone 44 RuleFired 1 ++ 2 SC:DomainExpr.dxNormaliseDExpr0 1 SPEC DomainExpr.dxDiff_aux 1 SPEC GHC.Base.$f10 1 SPEC ds_dhCN 1 foldr/app 9 map 9 mapList 1 ord# 9 unpack 9 unpack-list 23 LetFloatFromLet 338 BetaReduction 20 KnownBranch 6 FillInCaseDefault 19 SimplifierDone 3 AltMerge [ 5 of 31] Compiling AbstractVals2 ( AbstractVals2.hs, AbstractVals2.o ) ==================== FloatOut stats: ==================== 10 Lets floated to top level; 0 Lets floated elsewhere; from 63 Lambda groups ==================== FloatOut stats: ==================== 6 Lets floated to top level; 0 Lets floated elsewhere; from 83 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 77 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 84 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1097 301 PreInlineUnconditionally 155 PostInlineUnconditionally 71 UnfoldingDone 40 RuleFired 1 ++ 1 SC:AbstractVals2.avBottomR_aux0 2 SC:AbstractVals2.avLEQR_list0 1 SC:AbstractVals2.avTopR_aux0 2 SC:inner0 6 fold/build 1 foldr/app 12 map 4 mapFB 8 mapList 1 unpack 1 unpack-list 14 LetFloatFromLet 6 EtaReduction 446 BetaReduction 7 CaseOfCase 30 KnownBranch 22 FillInCaseDefault 25 SimplifierDone 5 AltMerge [ 6 of 31] Compiling SuccsAndPreds2 ( SuccsAndPreds2.hs, SuccsAndPreds2.o ) ==================== FloatOut stats: ==================== 29 Lets floated to top level; 0 Lets floated elsewhere; from 46 Lambda groups ==================== FloatOut stats: ==================== 2 Lets floated to top level; 0 Lets floated elsewhere; from 49 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 49 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 82 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2255 657 PreInlineUnconditionally 175 PostInlineUnconditionally 136 UnfoldingDone 153 RuleFired 4 ++ 2 SC:$wspLLift_reduce_arity_as_top0 4 SC:SuccsAndPreds2.spPredsR0 4 SC:SuccsAndPreds2.spPredsR1 4 SC:SuccsAndPreds2.spPredsR2 4 SC:SuccsAndPreds2.spPredsR3 4 SC:SuccsAndPreds2.spPredsR4 4 SC:SuccsAndPreds2.spPredsR5 4 SC:SuccsAndPreds2.spPredsR6 4 SC:SuccsAndPreds2.spPredsRep0 3 SC:SuccsAndPreds2.spPredsRep1 1 SC:SuccsAndPreds2.spPredsRep2 1 SC:SuccsAndPreds2.spPredsRep3 1 SC:SuccsAndPreds2.spPredsRep4 1 SC:SuccsAndPreds2.spPredsRep5 1 SC:SuccsAndPreds2.spSuccsRep0 3 SC:SuccsAndPreds2.spSuccsRep1 2 SC:SuccsAndPreds2.spSuccsRep2 2 augment/build 4 fold/build 2 foldr/app 41 map 51 mapList 1 take 1 takeList 3 LetFloatFromLet 1 EtaReduction 1016 BetaReduction 4 CaseOfCase 62 KnownBranch 32 FillInCaseDefault 22 SimplifierDone 16 AltMerge [ 7 of 31] Compiling AbstractMisc ( AbstractMisc.hs, AbstractMisc.o ) ==================== FloatOut stats: ==================== 8 Lets floated to top level; 2 Lets floated elsewhere; from 29 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 27 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 721 197 PreInlineUnconditionally 45 PostInlineUnconditionally 48 UnfoldingDone 48 RuleFired 1 ++ 2 SC:AbstractMisc.amStrongNormalise0 3 concat 2 fold/build 4 foldr/app 2 iterate 17 map 15 mapList 1 unpack 1 unpack-list 3 LetFloatFromLet 3 EtaReduction 366 BetaReduction 2 CaseOfCase 6 KnownBranch 3 FillInCaseDefault 20 SimplifierDone [ 8 of 31] Compiling AbsConc3 ( AbsConc3.hs, AbsConc3.o ) ==================== FloatOut stats: ==================== 24 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 4 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 40 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1498 483 PreInlineUnconditionally 168 PostInlineUnconditionally 78 UnfoldingDone 83 RuleFired 7 ++ 2 SC:AbsConc3.acConcSource0 1 SC:AbsConc3.acConcSourceD0 6 SC:AbsConc3.acConcTarget0 3 SC:AbsConc3.acConcTarget1 2 SC:AbsConc3.acUncurryWRT0 1 SC:AbstractVals2.avBottomR_aux0 1 SC:AbstractVals2.avTopR_aux0 8 foldr/app 22 map 22 mapList 3 take 1 takeList 2 unpack 2 unpack-list 5 LetFloatFromLet 1 EtaReduction 626 BetaReduction 11 CaseOfCase 42 KnownBranch 1 FillInCaseDefault 23 SimplifierDone [ 9 of 31] Compiling SmallerLattice ( SmallerLattice.hs, SmallerLattice.o ) ==================== FloatOut stats: ==================== 41 Lets floated to top level; 1 Lets floated elsewhere; from 64 Lambda groups ==================== FloatOut stats: ==================== 37 Lets floated to top level; 0 Lets floated elsewhere; from 71 Lambda groups ==================== FloatOut stats: ==================== 2 Lets floated to top level; 0 Lets floated elsewhere; from 73 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 80 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 4726 1146 PreInlineUnconditionally 1046 PostInlineUnconditionally 323 UnfoldingDone 161 RuleFired 9 ++ 4 SC:$wlgo0 2 SC:$wupd0 4 SC:$wupd1 1 SC:SmallerLattice.slNorm0 2 SC:SmallerLattice.slNorm1 2 SC:SmallerLattice.slNorm2 2 SC:SmallerLattice.slNorm3 2 SC:SmallerLattice.slNorm4 2 SC:SmallerLattice.slNorm5 2 SC:SmallerLattice.slNorm6 2 SC:SmallerLattice.slNorm7 2 SC:SmallerLattice.slNorm8 2 SC:SmallerLattice.slNorm9 4 SC:poly_$wlgo_suog0 1 SPEC SmallerLattice.slDijkstra 2 SPEC SmallerLattice.slDijkstra_aux 2 SPEC SmallerLattice.slDijkstra_unlink 1 SPEC SmallerLattice.slRecover 1 concat 2 filter 2 filterList 6 fold/build 6 foldr/app 3 foldr/nil 9 foldr/single 1 head/build 43 map 29 mapList 1 maximumInt 1 minimumInt 1 take 1 takeList 4 unpack 3 unpack-list 35 LetFloatFromLet 8 EtaReduction 1726 BetaReduction 41 CaseOfCase 207 KnownBranch 14 CaseIdentity 19 FillInCaseDefault 68 SimplifierDone [10 of 31] Compiling Apply ( Apply.hs, Apply.o ) ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 8 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 7 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 7 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 7 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 776 200 PreInlineUnconditionally 154 PostInlineUnconditionally 69 UnfoldingDone 20 RuleFired 4 map 4 mapList 2 take 2 takeList 4 unpack 4 unpack-list 2 LetFloatFromLet 234 BetaReduction 22 CaseOfCase 75 KnownBranch 21 SimplifierDone [11 of 31] Compiling FrontierMisc2 ( FrontierMisc2.hs, FrontierMisc2.o ) ==================== FloatOut stats: ==================== 2 Lets floated to top level; 0 Lets floated elsewhere; from 18 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 22 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 22 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 416 91 PreInlineUnconditionally 101 PostInlineUnconditionally 40 UnfoldingDone 3 RuleFired 1 <=# 1 fold/build 1 take 158 BetaReduction 2 CaseOfCase 20 KnownBranch 1 CaseMerge 17 SimplifierDone [12 of 31] Compiling AbstractEval2 ( AbstractEval2.hs, AbstractEval2.o ) ==================== FloatOut stats: ==================== 11 Lets floated to top level; 0 Lets floated elsewhere; from 5 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 6 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 6 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 8 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 312 107 PreInlineUnconditionally 11 PostInlineUnconditionally 21 UnfoldingDone 35 RuleFired 4 SC:AbstractEval2.aeEval0 2 SC:AbstractEval2.aeEval1 1 SPEC GHC.Base.$f10 4 map 4 mapList 10 unpack 10 unpack-list 135 BetaReduction 2 KnownBranch 1 FillInCaseDefault 18 SimplifierDone [13 of 31] Compiling FrontierDATAFN2 ( FrontierDATAFN2.hs, FrontierDATAFN2.o ) ==================== FloatOut stats: ==================== 14 Lets floated to top level; 0 Lets floated elsewhere; from 14 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 35 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 35 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 43 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1606 434 PreInlineUnconditionally 243 PostInlineUnconditionally 103 UnfoldingDone 46 RuleFired 8 ++ 2 ==#->case 1 SC:$wfdFind_aux0 1 SC:$wfdFind_aux1 3 filter 3 filterList 5 foldr/app 3 foldr/augment 9 map 9 mapList 1 unpack 1 unpack-list 12 LetFloatFromLet 1 EtaReduction 656 BetaReduction 17 CaseOfCase 83 KnownBranch 5 CaseMerge 2 CaseIdentity 2 FillInCaseDefault 27 SimplifierDone 2 AltMerge [14 of 31] Compiling FrontierGENERIC2 ( FrontierGENERIC2.hs, FrontierGENERIC2.o ) ==================== FloatOut stats: ==================== 30 Lets floated to top level; 0 Lets floated elsewhere; from 10 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 14 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 14 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 15 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1277 391 PreInlineUnconditionally 221 PostInlineUnconditionally 69 UnfoldingDone 42 RuleFired 6 ++ 2 ==#->case 4 SC:FrontierGENERIC2.fsApp0 6 foldr/app 5 map 5 mapList 1 negateInt# 2 take 4 takeList 4 unpack 3 unpack-list 9 LetFloatFromLet 423 BetaReduction 19 CaseOfCase 77 KnownBranch 5 CaseMerge 5 CaseIdentity 14 FillInCaseDefault 26 SimplifierDone 2 AltMerge [15 of 31] Compiling Inverse ( Inverse.hs, Inverse.o ) ==================== FloatOut stats: ==================== 7 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 22 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 22 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 32 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 734 219 PreInlineUnconditionally 116 PostInlineUnconditionally 51 UnfoldingDone 18 RuleFired 1 SC:Inverse.inMMI0 1 SC:Inverse.inMMI1 2 filter 2 filterList 5 map 5 mapList 1 take 1 takeList 4 LetFloatFromLet 274 BetaReduction 11 CaseOfCase 32 KnownBranch 1 CaseMerge 1 CaseIdentity 7 FillInCaseDefault 21 SimplifierDone [16 of 31] Compiling TypeCheck5 ( TypeCheck5.hs, TypeCheck5.o ) ==================== FloatOut stats: ==================== 97 Lets floated to top level; 1 Lets floated elsewhere; from 118 Lambda groups ==================== FloatOut stats: ==================== 50 Lets floated to top level; 2 Lets floated elsewhere; from 161 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 159 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 166 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 6604 1786 PreInlineUnconditionally 1017 PostInlineUnconditionally 477 UnfoldingDone 334 RuleFired 57 ++ 2 ==#->case 1 SC:$wtcUnify0 1 SC:$wtcUnify1 2 SC:TypeCheck5.tcUnifySet0 1 SC:TypeCheck5.tccase10 1 SC:TypeCheck5.tcl0 5 SC:pretty'0 5 SC:pretty'1 1 SPEC GHC.Base.$f10 2 SPEC TypeCheck5.tcBar 2 augment/build 9 concat 4 eqString 17 fold/build 70 foldr/app 35 map 3 mapFB 24 mapList 39 unpack 39 unpack-list 14 zip 49 LetFloatFromLet 15 EtaReduction 2647 BetaReduction 25 CaseOfCase 218 KnownBranch 4 CaseMerge 1 CaseIdentity 29 FillInCaseDefault 29 SimplifierDone 2 AltMerge [17 of 31] Compiling PrintResults ( PrintResults.hs, PrintResults.o ) ==================== FloatOut stats: ==================== 80 Lets floated to top level; 0 Lets floated elsewhere; from 33 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 36 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 36 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 37 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2830 801 PreInlineUnconditionally 305 PostInlineUnconditionally 188 UnfoldingDone 200 RuleFired 46 ++ 2 SC:PrintResults.prCrossList0 2 SPEC Data.List.sum 1 SPEC GHC.Base.$f10 4 concat 5 fold/build 45 foldr/app 3 foldr/single 20 map 17 mapList 3 maximumInt 2 minimumInt 1 negateInt# 24 unpack 24 unpack-list 1 zip 14 LetFloatFromLet 6 EtaReduction 1248 BetaReduction 7 CaseOfCase 54 KnownBranch 2 CaseIdentity 5 FillInCaseDefault 23 SimplifierDone [18 of 31] Compiling Constructors ( Constructors.hs, Constructors.o ) ==================== FloatOut stats: ==================== 30 Lets floated to top level; 2 Lets floated elsewhere; from 20 Lambda groups ==================== FloatOut stats: ==================== 2 Lets floated to top level; 2 Lets floated elsewhere; from 18 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 19 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 1103 302 PreInlineUnconditionally 167 PostInlineUnconditionally 59 UnfoldingDone 56 RuleFired 4 ++ 3 SC:Constructors.coCGen_aux0 1 augment/build 1 fold/build 3 foldr/app 15 map 15 mapList 7 unpack 7 unpack-list 16 LetFloatFromLet 468 BetaReduction 5 CaseOfCase 26 KnownBranch 4 FillInCaseDefault 62 SimplifierDone [19 of 31] Compiling BarakiMeet ( BarakiMeet.hs, BarakiMeet.o ) ==================== FloatOut stats: ==================== 7 Lets floated to top level; 0 Lets floated elsewhere; from 18 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 313 101 PreInlineUnconditionally 46 PostInlineUnconditionally 25 UnfoldingDone 11 RuleFired 1 SC:BarakiMeet.bmNorm_rep0 1 SC:BarakiMeet.bmNorm_rep1 1 SC:BarakiMeet.bmNorm_rep2 2 SC:inner0 3 map 3 mapList 5 LetFloatFromLet 106 BetaReduction 2 CaseOfCase 12 KnownBranch 2 CaseMerge 2 FillInCaseDefault 22 SimplifierDone 1 AltMerge [20 of 31] Compiling BarakiConc3 ( BarakiConc3.hs, BarakiConc3.o ) ==================== FloatOut stats: ==================== 21 Lets floated to top level; 0 Lets floated elsewhere; from 19 Lambda groups ==================== FloatOut stats: ==================== 4 Lets floated to top level; 1 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 29 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1119 332 PreInlineUnconditionally 110 PostInlineUnconditionally 72 UnfoldingDone 61 RuleFired 1 SC:BarakiConc3.bcFdotC0 1 SPEC GHC.Base.$f10 1 fold/build 24 map 1 mapFB 23 mapList 1 take 1 takeList 4 unpack 4 unpack-list 6 LetFloatFromLet 496 BetaReduction 9 CaseOfCase 28 KnownBranch 5 FillInCaseDefault 24 SimplifierDone [21 of 31] Compiling EtaAbstract ( EtaAbstract.hs, EtaAbstract.o ) ==================== FloatOut stats: ==================== 14 Lets floated to top level; 0 Lets floated elsewhere; from 14 Lambda groups ==================== FloatOut stats: ==================== 5 Lets floated to top level; 0 Lets floated elsewhere; from 19 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 19 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 19 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 835 215 PreInlineUnconditionally 185 PostInlineUnconditionally 55 UnfoldingDone 24 RuleFired 4 ++ 2 SC:$wmergeLams0 1 SPEC GHC.Base.$f9 1 eqChar#->case 1 filter 2 fold/build 4 foldr/app 4 map 1 mapFB 2 mapList 1 unpack 1 unpack-list 16 LetFloatFromLet 275 BetaReduction 8 CaseOfCase 50 KnownBranch 4 CaseElim 1 CaseIdentity 24 SimplifierDone 2 AltMerge [22 of 31] Compiling PrettyPrint ( PrettyPrint.hs, PrettyPrint.o ) ==================== FloatOut stats: ==================== 39 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 10 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 1477 286 PreInlineUnconditionally 269 PostInlineUnconditionally 127 UnfoldingDone 61 RuleFired 5 ++ 5 SPEC Utils.utiIndent 4 foldr/app 1 foldr/single 6 map 6 mapList 17 unpack 17 unpack-list 32 LetFloatFromLet 697 BetaReduction 5 KnownBranch 53 SimplifierDone [23 of 31] Compiling Dependancy ( Dependancy.hs, Dependancy.o ) ==================== FloatOut stats: ==================== 16 Lets floated to top level; 0 Lets floated elsewhere; from 62 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 4 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 55 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 65 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2141 579 PreInlineUnconditionally 375 PostInlineUnconditionally 171 UnfoldingDone 48 RuleFired 8 SC:$wlgo0 4 SC:go0 4 SC:go1 2 SC:go2 2 SC:go3 1 SPEC Dependancy.deDepends 3 SPEC Dependancy.deDepthFirstSearch 1 SPEC Dependancy.deScc 1 SPEC Dependancy.deSpanningSearch 1 SPEC GHC.Base.$f9 1 SPEC ds_dXF7 2 eqString 4 fold/build 6 map 3 mapList 2 unpack 2 unpack-list 1 zip 15 LetFloatFromLet 2 EtaReduction 819 BetaReduction 14 CaseOfCase 106 KnownBranch 10 CaseIdentity 2 FillInCaseDefault 26 SimplifierDone [24 of 31] Compiling LambdaLift5 ( LambdaLift5.hs, LambdaLift5.o ) ==================== FloatOut stats: ==================== 50 Lets floated to top level; 0 Lets floated elsewhere; from 69 Lambda groups ==================== FloatOut stats: ==================== 18 Lets floated to top level; 0 Lets floated elsewhere; from 81 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 82 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 85 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 85 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 3246 966 PreInlineUnconditionally 441 PostInlineUnconditionally 218 UnfoldingDone 134 RuleFired 17 ++ 2 SC:LambdaLift5.llMergeLams0 4 SC:gc0 2 SC:getdups0 1 SPEC BaseDefs.$f38 1 SPEC GHC.Base.$f9 3 augment/build 4 concat 3 eqChar#->case 4 eqString 2 filter 2 filterList 11 fold/build 13 foldr/app 1 foldr/augment 24 map 20 mapList 2 neChar#->case 7 unpack 7 unpack-list 4 zip 49 LetFloatFromLet 4 EtaReduction 1285 BetaReduction 19 CaseOfCase 122 KnownBranch 1 CaseElim 3 CaseIdentity 29 SimplifierDone 4 AltMerge [25 of 31] Compiling MakeDomains ( MakeDomains.hs, MakeDomains.o ) ==================== FloatOut stats: ==================== 16 Lets floated to top level; 0 Lets floated elsewhere; from 28 Lambda groups ==================== FloatOut stats: ==================== 4 Lets floated to top level; 0 Lets floated elsewhere; from 20 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 20 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 663 182 PreInlineUnconditionally 73 PostInlineUnconditionally 38 UnfoldingDone 39 RuleFired 1 ++ 1 SPEC Dependancy.deScc 1 SPEC GHC.Base.$f9 4 concat 3 eqString 5 fold/build 5 foldr/app 8 map 4 mapList 3 unpack 3 unpack-list 1 zip 4 LetFloatFromLet 5 EtaReduction 308 BetaReduction 1 CaseOfCase 9 KnownBranch 1 CaseIdentity 3 FillInCaseDefault 18 SimplifierDone [26 of 31] Compiling TExpr2DExpr ( TExpr2DExpr.hs, TExpr2DExpr.o ) ==================== FloatOut stats: ==================== 12 Lets floated to top level; 0 Lets floated elsewhere; from 14 Lambda groups ==================== FloatOut stats: ==================== 4 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 987 175 PreInlineUnconditionally 330 PostInlineUnconditionally 76 UnfoldingDone 29 RuleFired 1 ++ 1 SPEC GHC.Base.$f10 1 augment/build 3 concat 1 fold/build 4 foldr/app 2 map 2 mapList 1 take 1 takeList 6 unpack 5 unpack-list 1 zip 4 LetFloatFromLet 3 EtaReduction 297 BetaReduction 8 CaseOfCase 63 KnownBranch 2 FillInCaseDefault 19 SimplifierDone [27 of 31] Compiling Parser2 ( Parser2.hs, Parser2.o ) ==================== FloatOut stats: ==================== 64 Lets floated to top level; 0 Lets floated elsewhere; from 93 Lambda groups ==================== FloatOut stats: ==================== 59 Lets floated to top level; 3 Lets floated elsewhere; from 123 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 128 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 140 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 143 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 6460 1522 PreInlineUnconditionally 1409 PostInlineUnconditionally 522 UnfoldingDone 187 RuleFired 7 ++ 2 SC:Parser2.paAlts0 1 SC:Parser2.paLex0 5 SC:a_s16Zs0 1 SPEC BaseDefs.$f38 1 SPEC Data.List.sum 1 SPEC GHC.Base.$f9 7 and/build 8 concat 1 eqChar#->case 15 eqString 8 fold/build 15 foldr/app 19 map 4 mapList 46 unpack 46 unpack-list 218 LetFloatFromLet 14 EtaReduction 1999 BetaReduction 114 CaseOfCase 463 KnownBranch 1 CaseIdentity 11 FillInCaseDefault 38 SimplifierDone [28 of 31] Compiling ReadTable ( ReadTable.hs, ReadTable.o ) ==================== FloatOut stats: ==================== 36 Lets floated to top level; 0 Lets floated elsewhere; from 22 Lambda groups ==================== FloatOut stats: ==================== 25 Lets floated to top level; 0 Lets floated elsewhere; from 31 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 988 204 PreInlineUnconditionally 203 PostInlineUnconditionally 76 UnfoldingDone 38 RuleFired 10 ++ 1 SPEC GHC.Base.$f10 1 augment/nil 6 eqString 9 foldr/app 1 foldr/id 5 unpack 5 unpack-list 66 LetFloatFromLet 1 EtaReduction 324 BetaReduction 15 CaseOfCase 51 KnownBranch 1 CaseIdentity 9 FillInCaseDefault 20 SimplifierDone [29 of 31] Compiling Simplify ( Simplify.hs, Simplify.o ) ==================== FloatOut stats: ==================== 5 Lets floated to top level; 0 Lets floated elsewhere; from 6 Lambda groups ==================== FloatOut stats: ==================== 5 Lets floated to top level; 0 Lets floated elsewhere; from 8 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 8 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 458 131 PreInlineUnconditionally 89 PostInlineUnconditionally 40 UnfoldingDone 14 RuleFired 2 ++ 2 SC:Simplify.siVectorise0 1 SPEC GHC.Base.$f10 1 eqString 2 foldr/app 2 map 2 mapList 1 unpack 1 unpack-list 1 LetFloatFromLet 143 BetaReduction 4 CaseOfCase 34 KnownBranch 1 CaseIdentity 1 FillInCaseDefault 26 SimplifierDone [30 of 31] Compiling StrictAn6 ( StrictAn6.hs, StrictAn6.o ) ==================== FloatOut stats: ==================== 121 Lets floated to top level; 1 Lets floated elsewhere; from 62 Lambda groups ==================== FloatOut stats: ==================== 25 Lets floated to top level; 0 Lets floated elsewhere; from 118 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 118 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 123 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 123 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 7803 2239 PreInlineUnconditionally 1009 PostInlineUnconditionally 612 UnfoldingDone 378 RuleFired 80 ++ 2 ==#->case 3 AppendLitString 2 SC:$wsaNonRecSearch0 3 SC:StrictAn6.saFixMain0 5 SC:StrictAn6.saGroups0 1 SPEC GHC.Base.$f10 2 SPEC StrictAn6.saPrinter_aux 3 augment/build 2 concat 1 eqChar#->case 8 eqString 6 filter 5 filterList 13 fold/build 77 foldr/app 8 foldr/single 34 map 6 mapFB 24 mapList 48 unpack 45 unpack-list 70 LetFloatFromLet 10 EtaReduction 3162 BetaReduction 48 CaseOfCase 256 KnownBranch 19 FillInCaseDefault 32 SimplifierDone [31 of 31] Compiling Main ( anna.hs, anna.o ) ==================== FloatOut stats: ==================== 31 Lets floated to top level; 1 Lets floated elsewhere; from 12 Lambda groups ==================== FloatOut stats: ==================== 46 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 2053 596 PreInlineUnconditionally 91 PostInlineUnconditionally 140 UnfoldingDone 221 RuleFired 25 ++ 1 concat 4 filter 4 filterList 24 foldr/app 4 foldr/augment 2 foldr/single 1 map 1 mapList 77 unpack 77 unpack-list 1 x# ==# x# 113 LetFloatFromLet 1 EtaReduction 841 BetaReduction 1 CaseOfCase 20 KnownBranch 29 FillInCaseDefault 46 SimplifierDone Linking anna ... <>