[ 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 ==================== Grand total simplifier statistics ==================== Total ticks: 8511 1668 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 23 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 ==================== Grand total simplifier statistics ==================== Total ticks: 654 161 PreInlineUnconditionally 114 PostInlineUnconditionally 43 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 243 BetaReduction 1 CaseOfCase 21 KnownBranch 24 FillInCaseDefault 15 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 ==================== Grand total simplifier statistics ==================== Total ticks: 3391 773 PreInlineUnconditionally 1002 PostInlineUnconditionally 256 UnfoldingDone 88 RuleFired 13 ++ 1 <=# 8 SC:$j_scMa0 4 SC:$j_scMc0 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 944 BetaReduction 17 CaseOfCase 250 KnownBranch 1 CaseElim 9 CaseIdentity 2 FillInCaseDefault 22 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: ==================== 4 Lets floated to top level; 0 Lets floated elsewhere; from 29 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 822 194 PreInlineUnconditionally 127 PostInlineUnconditionally 70 UnfoldingDone 44 RuleFired 1 ++ 2 SC:DomainExpr.dxNormaliseDExpr0 1 SPEC DomainExpr.dxDiff_aux 1 SPEC GHC.Base.$f10 1 SPEC ds_dfy5 1 foldr/app 9 map 9 mapList 1 ord# 9 unpack 9 unpack-list 23 LetFloatFromLet 335 BetaReduction 20 KnownBranch 6 FillInCaseDefault 13 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 ==================== Grand total simplifier statistics ==================== Total ticks: 1074 293 PreInlineUnconditionally 155 PostInlineUnconditionally 69 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 433 BetaReduction 7 CaseOfCase 30 KnownBranch 22 FillInCaseDefault 19 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: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 47 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2149 639 PreInlineUnconditionally 152 PostInlineUnconditionally 124 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 2 LetFloatFromLet 1 EtaReduction 988 BetaReduction 2 CaseOfCase 40 KnownBranch 32 FillInCaseDefault 16 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 ==================== Grand total simplifier statistics ==================== Total ticks: 720 196 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 14 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: ==================== 2 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1414 456 PreInlineUnconditionally 164 PostInlineUnconditionally 72 UnfoldingDone 80 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 7 foldr/app 21 map 21 mapList 3 take 1 takeList 2 unpack 2 unpack-list 5 LetFloatFromLet 1 EtaReduction 582 BetaReduction 11 CaseOfCase 42 KnownBranch 1 FillInCaseDefault 18 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: ==================== 34 Lets floated to top level; 0 Lets floated elsewhere; from 68 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 4614 1111 PreInlineUnconditionally 1022 PostInlineUnconditionally 318 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_sruS0 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 1678 BetaReduction 41 CaseOfCase 207 KnownBranch 14 CaseIdentity 19 FillInCaseDefault 27 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 ==================== Grand total simplifier statistics ==================== Total ticks: 772 196 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 15 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 21 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 392 85 PreInlineUnconditionally 98 PostInlineUnconditionally 36 UnfoldingDone 3 RuleFired 1 <=# 1 fold/build 1 take 147 BetaReduction 2 CaseOfCase 20 KnownBranch 1 CaseMerge 14 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 5 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 297 98 PreInlineUnconditionally 10 PostInlineUnconditionally 20 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 131 BetaReduction 2 KnownBranch 1 FillInCaseDefault 11 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 ==================== Grand total simplifier statistics ==================== Total ticks: 1592 432 PreInlineUnconditionally 239 PostInlineUnconditionally 102 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 652 BetaReduction 16 CaseOfCase 81 KnownBranch 5 CaseMerge 2 CaseIdentity 2 FillInCaseDefault 21 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 ==================== Grand total simplifier statistics ==================== Total ticks: 1274 388 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 20 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 ==================== Grand total simplifier statistics ==================== Total ticks: 738 222 PreInlineUnconditionally 115 PostInlineUnconditionally 52 UnfoldingDone 18 RuleFired 1 SC:Inverse.inMMI0 1 SC:Inverse.inMMI1 2 filter 2 filterList 5 map 5 mapList 1 take 1 takeList 3 LetFloatFromLet 276 BetaReduction 11 CaseOfCase 32 KnownBranch 1 CaseMerge 1 CaseIdentity 7 FillInCaseDefault 16 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: ==================== 48 Lets floated to top level; 2 Lets floated elsewhere; from 159 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 6533 1767 PreInlineUnconditionally 1009 PostInlineUnconditionally 472 UnfoldingDone 332 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 34 map 3 mapFB 23 mapList 39 unpack 39 unpack-list 14 zip 47 LetFloatFromLet 15 EtaReduction 2612 BetaReduction 25 CaseOfCase 218 KnownBranch 4 CaseMerge 1 CaseIdentity 29 FillInCaseDefault 22 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: ==================== 4 Lets floated to top level; 0 Lets floated elsewhere; from 33 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2807 796 PreInlineUnconditionally 302 PostInlineUnconditionally 186 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 1235 BetaReduction 7 CaseOfCase 54 KnownBranch 2 CaseIdentity 5 FillInCaseDefault 17 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; 1 Lets floated elsewhere; from 18 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 992 288 PreInlineUnconditionally 123 PostInlineUnconditionally 55 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 1 EtaReduction 418 BetaReduction 5 CaseOfCase 26 KnownBranch 4 FillInCaseDefault 22 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 21 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 280 91 PreInlineUnconditionally 40 PostInlineUnconditionally 21 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 95 BetaReduction 2 CaseOfCase 10 KnownBranch 2 CaseMerge 2 FillInCaseDefault 15 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: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1054 317 PreInlineUnconditionally 105 PostInlineUnconditionally 64 UnfoldingDone 60 RuleFired 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 465 BetaReduction 7 CaseOfCase 25 KnownBranch 5 FillInCaseDefault 17 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: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 20 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 820 209 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 265 BetaReduction 7 CaseOfCase 52 KnownBranch 4 CaseElim 1 CaseIdentity 17 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 ==================== Grand total simplifier statistics ==================== Total ticks: 1056 185 PreInlineUnconditionally 109 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 537 BetaReduction 5 KnownBranch 13 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 ==================== 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_dQQ0 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 20 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: ==================== 14 Lets floated to top level; 0 Lets floated elsewhere; from 78 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 3182 946 PreInlineUnconditionally 438 PostInlineUnconditionally 211 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 50 LetFloatFromLet 4 EtaReduction 1250 BetaReduction 19 CaseOfCase 122 KnownBranch 1 CaseElim 3 CaseIdentity 20 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 ==================== 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 15 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 ==================== Grand total simplifier statistics ==================== Total ticks: 985 173 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 13 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 ==================== Grand total simplifier statistics ==================== Total ticks: 6320 1493 PreInlineUnconditionally 1369 PostInlineUnconditionally 510 UnfoldingDone 182 RuleFired 7 ++ 2 SC:Parser2.paAlts0 1 SC:Parser2.paLex0 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 1963 BetaReduction 110 CaseOfCase 449 KnownBranch 1 CaseIdentity 11 FillInCaseDefault 25 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 ==================== Grand total simplifier statistics ==================== Total ticks: 986 202 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 14 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 ==================== Grand total simplifier statistics ==================== Total ticks: 456 129 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 17 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: ==================== 15 Lets floated to top level; 0 Lets floated elsewhere; from 106 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 7689 2206 PreInlineUnconditionally 997 PostInlineUnconditionally 603 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 3102 BetaReduction 48 CaseOfCase 256 KnownBranch 19 FillInCaseDefault 23 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 ==================== Grand total simplifier statistics ==================== Total ticks: 2020 571 PreInlineUnconditionally 91 PostInlineUnconditionally 139 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# 112 LetFloatFromLet 1 EtaReduction 835 BetaReduction 1 CaseOfCase 20 KnownBranch 29 FillInCaseDefault 16 SimplifierDone Linking anna ... <>