[ 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: 7796 1417 PreInlineUnconditionally 2532 PostInlineUnconditionally 865 UnfoldingDone 129 RuleFired 4 +# 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 24 unpack 24 unpack-list 167 LetFloatFromLet 2 EtaReduction 1939 BetaReduction 69 CaseOfCase 614 KnownBranch 33 CaseMerge 17 FillInCaseDefault 22 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 32 Lambda groups ==================== FloatOut stats: ==================== 18 Lets floated to top level; 1 Lets floated elsewhere; from 36 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1244 279 PreInlineUnconditionally 254 PostInlineUnconditionally 114 UnfoldingDone 34 RuleFired 1 ++ -> 1st arg empty 1 ++ -> fused on 1st arg 1 ++ -> fused on 2nd arg 1 ++ / : 1 ==#->case 3 SC:unfold_unstream0 3 SC:unfold_unstream1 1 STREAM stream/unstream fusion 1 concat -> fused 4 map -> fusible 1 map -> unfused 8 unpack 8 unpack-list 9 LetFloatFromLet 4 EtaReduction 394 BetaReduction 8 CaseOfCase 97 KnownBranch 1 CaseMerge 13 CaseElim 37 FillInCaseDefault 19 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: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 125 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 3229 720 PreInlineUnconditionally 996 PostInlineUnconditionally 235 UnfoldingDone 93 RuleFired 2 ++ -> 1st arg empty 2 ++ / : 8 SC:$j_scVT0 4 SC:$j_scVV0 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 2 foldl -> fusible 2 foldl -> unfused 5 foldr -> fusible 6 foldr -> unfused 6 length -> fusible 8 length -> unfused 2 map -> fusible 2 map -> unfused 1 take -> fusible 1 take -> unfused 4 unpack 4 unpack-list 1 zipWith -> fusible 1 zipWith -> unfused 36 LetFloatFromLet 12 EtaReduction 855 BetaReduction 17 CaseOfCase 251 KnownBranch 1 CaseElim 9 CaseIdentity 2 FillInCaseDefault 21 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: 736 168 PreInlineUnconditionally 127 PostInlineUnconditionally 60 UnfoldingDone 42 RuleFired 2 SC:DomainExpr.dxNormaliseDExpr0 1 SPEC DomainExpr.dxDiff_aux 1 SPEC GHC.Base.$f10 1 SPEC ds_dfFv 9 map -> fusible 9 map -> unfused 1 ord# 9 unpack 9 unpack-list 23 LetFloatFromLet 287 BetaReduction 20 KnownBranch 6 FillInCaseDefault 13 SimplifierDone 3 AltMerge [ 5 of 31] Compiling AbstractVals2 ( AbstractVals2.hs, AbstractVals2.o ) ==================== FloatOut stats: ==================== 22 Lets floated to top level; 0 Lets floated elsewhere; from 65 Lambda groups ==================== FloatOut stats: ==================== 68 Lets floated to top level; 8 Lets floated elsewhere; from 97 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 7861 2011 PreInlineUnconditionally 1317 PostInlineUnconditionally 624 UnfoldingDone 222 RuleFired 4 SC:$wloop_foldr0 8 SC:$wloop_foldr1 10 SC:$wloop_foldr2 8 SC:$wloop_foldr3 18 SC:$wunfold_unstream0 24 SC:$wunfold_unstream1 12 SC:$wunfold_unstream2 24 SC:$wunfold_unstream3 18 SC:$wunfold_unstream4 1 SC:AbstractVals2.avBottomR_aux0 2 SC:AbstractVals2.avLEQR_list0 1 SC:AbstractVals2.avTopR_aux0 2 SC:inner0 4 STREAM map/map fusion 22 STREAM stream/unstream fusion 10 bindL -> fusible 4 foldr -> fusible 2 foldr -> unfused 6 guardL -> fusible 2 length -> fusible 2 length -> unfused 12 map -> fusible 8 map -> unfused 4 null -> fusible 4 null -> unfused 8 returnL -> fusible 1 unpack 1 unpack-list 240 LetFloatFromLet 6 EtaReduction 2557 BetaReduction 37 CaseOfCase 656 KnownBranch 126 CaseElim 60 FillInCaseDefault 26 SimplifierDone 5 AltMerge [ 6 of 31] Compiling SuccsAndPreds2 ( SuccsAndPreds2.hs, SuccsAndPreds2.o ) ==================== FloatOut stats: ==================== 41 Lets floated to top level; 0 Lets floated elsewhere; from 46 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 2 Lets floated elsewhere; from 54 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 10660 3086 PreInlineUnconditionally 1308 PostInlineUnconditionally 602 UnfoldingDone 756 RuleFired 2 ++ -> fused on 1st arg 2 ++ -> fused on 2nd arg 2 SC:$wspLLift_reduce_arity_as_top0 37 SC:$wunfold_unstream0 46 SC:$wunfold_unstream1 23 SC:$wunfold_unstream2 56 SC:$wunfold_unstream3 37 SC:$wunfold_unstream4 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 31 SC:unfold_unstream0 62 SC:unfold_unstream1 31 SC:unfold_unstream2 38 SC:unfold_unstream3 19 SC:unfold_unstream4 31 SC:unfold_unstream5 38 SC:unfold_unstream6 19 SC:unfold_unstream7 48 SC:unfold_unstream8 48 SC:unfold_unstream9 10 STREAM stream/unstream fusion 8 bindL -> fusible 2 foldr -> fusible 1 foldr1 -> fusible 1 foldr1 -> unfused 2 length -> fusible 2 length -> unfused 41 map -> fusible 52 map -> unfused 6 null -> fusible 6 null -> unfused 8 returnL -> fusible 1 take -> fusible 1 take -> unfused 197 LetFloatFromLet 1 EtaReduction 3850 BetaReduction 33 CaseOfCase 630 KnownBranch 2 CaseMerge 106 CaseElim 73 FillInCaseDefault 21 SimplifierDone 16 AltMerge [ 7 of 31] Compiling AbstractMisc ( AbstractMisc.hs, AbstractMisc.o ) ==================== FloatOut stats: ==================== 14 Lets floated to top level; 2 Lets floated elsewhere; from 25 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 2 Lets floated elsewhere; from 29 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 3270 818 PreInlineUnconditionally 504 PostInlineUnconditionally 281 UnfoldingDone 94 RuleFired 6 SC:$wunfold_unstream0 8 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 8 SC:$wunfold_unstream3 6 SC:$wunfold_unstream4 2 SC:AbstractMisc.amStrongNormalise0 8 STREAM stream/unstream fusion 4 bindL -> fusible 3 concat -> fused 1 concat -> unfused 2 iterate -> fusible 17 map -> fusible 15 map -> unfused 2 null -> fusible 2 null -> unfused 2 returnL -> fusible 2 takeWhile -> fusible 1 unpack 1 unpack-list 87 LetFloatFromLet 1125 BetaReduction 16 CaseOfCase 258 KnownBranch 58 CaseElim 29 FillInCaseDefault 21 SimplifierDone [ 8 of 31] Compiling AbsConc3 ( AbsConc3.hs, AbsConc3.o ) ==================== FloatOut stats: ==================== 26 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: 2575 735 PreInlineUnconditionally 391 PostInlineUnconditionally 154 UnfoldingDone 136 RuleFired 6 SC:$wunfold_unstream0 8 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 8 SC:$wunfold_unstream3 6 SC:$wunfold_unstream4 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 2 STREAM stream/unstream fusion 2 bindL -> fusible 4 drop -> fusible 4 drop -> unfused 7 length -> fusible 7 length -> unfused 21 map -> fusible 21 map -> unfused 4 null -> fusible 4 null -> unfused 2 returnL -> fusible 3 take -> fusible 3 take -> unfused 2 unpack 2 unpack-list 58 LetFloatFromLet 1 EtaReduction 897 BetaReduction 15 CaseOfCase 157 KnownBranch 24 CaseElim 7 FillInCaseDefault 24 SimplifierDone [ 9 of 31] Compiling SmallerLattice ( SmallerLattice.hs, SmallerLattice.o ) ==================== FloatOut stats: ==================== 63 Lets floated to top level; 1 Lets floated elsewhere; from 68 Lambda groups ==================== FloatOut stats: ==================== 165 Lets floated to top level; 8 Lets floated elsewhere; from 102 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 27398 7758 PreInlineUnconditionally 4075 PostInlineUnconditionally 1590 UnfoldingDone 1770 RuleFired 2 ++ -> 1st arg empty 3 ++ -> fused on 1st arg 1 ==#->case 4 SC:$wgo40 15 SC:$wloop_append10 9 SC:$wloop_append11 12 SC:$wloop_append12 9 SC:$wloop_append13 12 SC:$wloop_append14 7 SC:$wloop_foldl'0 2 SC:$wloop_foldl'1 2 SC:$wloop_foldl'2 16 SC:$wloop_foldr0 32 SC:$wloop_foldr1 42 SC:$wloop_foldr2 40 SC:$wloop_foldr3 6 SC:$wloop_head0 4 SC:$wloop_head1 4 SC:$wloop_head2 4 SC:$wloop_head3 6 SC:$wloop_head4 239 SC:$wunfold_unstream0 280 SC:$wunfold_unstream1 140 SC:$wunfold_unstream2 396 SC:$wunfold_unstream3 239 SC:$wunfold_unstream4 2 SC:$wupd0 4 SC:$wupd1 2 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:go40 4 SC:poly_$wgo4_svoA0 2 SC:poly_go4_svpg0 1 SPEC SmallerLattice.slDijkstra 2 SPEC SmallerLattice.slDijkstra_aux 2 SPEC SmallerLattice.slDijkstra_unlink 1 SPEC SmallerLattice.slRecover 38 STREAM stream/unstream fusion 14 bindL -> fusible 1 concat -> fused 2 drop -> fusible 2 filter -> fusible 2 filter -> unfused 2 foldl -> fusible 5 foldl' -> fusible 2 foldl' -> unfused 2 foldl1 -> fusible 2 foldl1 -> unfused 2 foldr -> fusible 8 guardL -> fusible 3 head -> fusible 1 head -> unfused 1 init -> fusible 1 init -> unfused 1 last -> fusible 1 last -> unfused 2 length -> fusible 43 map -> fusible 39 map -> unfused 1 maximumInt 1 minimumInt 3 null -> fusible 3 null -> unfused 14 returnL -> fusible 1 splitAt -> fusible 3 tail -> fusible 1 take -> fusible 2 takeWhile -> fusible 4 unpack 3 unpack-list 501 LetFloatFromLet 6 EtaReduction 9475 BetaReduction 121 CaseOfCase 1688 KnownBranch 263 CaseElim 14 CaseIdentity 129 FillInCaseDefault 32 SimplifierDone 8 AltMerge [10 of 31] Compiling Apply ( Apply.hs, Apply.o ) ==================== FloatOut stats: ==================== 10 Lets floated to top level; 0 Lets floated elsewhere; from 8 Lambda groups ==================== FloatOut stats: ==================== 18 Lets floated to top level; 2 Lets floated elsewhere; from 11 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2559 654 PreInlineUnconditionally 436 PostInlineUnconditionally 203 UnfoldingDone 100 RuleFired 6 SC:$wunfold_unstream0 8 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 8 SC:$wunfold_unstream3 6 SC:$wunfold_unstream4 4 STREAM stream/unstream fusion 2 bindL -> fusible 2 drop -> fusible 2 drop -> unfused 2 guardL -> fusible 3 length -> fusible 3 length -> unfused 4 map -> fusible 4 map -> unfused 14 null -> fusible 14 null -> unfused 2 returnL -> fusible 2 take -> fusible 2 take -> unfused 4 unpack 4 unpack-list 58 LetFloatFromLet 810 BetaReduction 33 CaseOfCase 229 KnownBranch 28 CaseElim 8 FillInCaseDefault 25 SimplifierDone [11 of 31] Compiling FrontierMisc2 ( FrontierMisc2.hs, FrontierMisc2.o ) ==================== FloatOut stats: ==================== 11 Lets floated to top level; 0 Lets floated elsewhere; from 21 Lambda groups ==================== FloatOut stats: ==================== 25 Lets floated to top level; 4 Lets floated elsewhere; from 26 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 3764 957 PreInlineUnconditionally 645 PostInlineUnconditionally 313 UnfoldingDone 87 RuleFired 9 SC:$wunfold_unstream0 12 SC:$wunfold_unstream1 6 SC:$wunfold_unstream2 12 SC:$wunfold_unstream3 9 SC:$wunfold_unstream4 8 STREAM stream/unstream fusion 6 bindL -> fusible 4 foldr -> fusible 4 foldr -> unfused 1 guardL -> fusible 5 length -> fusible 5 length -> unfused 1 null -> fusible 1 null -> unfused 3 returnL -> fusible 1 take -> fusible 105 LetFloatFromLet 1234 BetaReduction 13 CaseOfCase 318 KnownBranch 1 CaseMerge 68 CaseElim 23 FillInCaseDefault 24 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: ==================== 3 Lets floated to top level; 0 Lets floated elsewhere; from 6 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 537 152 PreInlineUnconditionally 60 PostInlineUnconditionally 47 UnfoldingDone 36 RuleFired 4 SC:AbstractEval2.aeEval0 2 SC:AbstractEval2.aeEval1 1 SPEC GHC.Base.$f10 1 STREAM stream/unstream fusion 1 foldr1 -> fusible 4 map -> fusible 3 map -> unfused 10 unpack 10 unpack-list 203 BetaReduction 3 CaseOfCase 25 KnownBranch 6 CaseElim 5 FillInCaseDefault 16 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; 5 Lets floated elsewhere; from 34 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2783 668 PreInlineUnconditionally 508 PostInlineUnconditionally 222 UnfoldingDone 52 RuleFired 3 ++ -> fused (1) 2 ==#->case 1 SC:$wfdFind_aux0 1 SC:$wfdFind_aux1 1 SC:unfold_unstream0 5 SC:unfold_unstream1 6 SC:unfold_unstream2 3 filter -> fusible 1 head -> fusible 1 head -> unfused 2 length -> fusible 2 length -> unfused 9 map -> fusible 9 map -> unfused 2 tail -> fusible 2 tail -> unfused 1 unpack 1 unpack-list 17 LetFloatFromLet 1 EtaReduction 989 BetaReduction 28 CaseOfCase 213 KnownBranch 5 CaseMerge 56 CaseElim 2 CaseIdentity 14 FillInCaseDefault 25 SimplifierDone 8 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: 1140 344 PreInlineUnconditionally 213 PostInlineUnconditionally 51 UnfoldingDone 52 RuleFired 2 ==#->case 4 SC:FrontierGENERIC2.fsApp0 2 drop -> fusible 2 drop -> unfused 1 head -> fusible 1 head -> unfused 6 length -> fusible 6 length -> unfused 5 map -> fusible 5 map -> unfused 1 negateInt# 2 tail -> fusible 2 tail -> unfused 2 take -> fusible 4 take -> unfused 4 unpack 3 unpack-list 9 LetFloatFromLet 351 BetaReduction 19 CaseOfCase 75 KnownBranch 5 CaseMerge 5 CaseIdentity 14 FillInCaseDefault 20 SimplifierDone 2 AltMerge [15 of 31] Compiling Inverse ( Inverse.hs, Inverse.o ) ==================== FloatOut stats: ==================== 19 Lets floated to top level; 0 Lets floated elsewhere; from 27 Lambda groups ==================== FloatOut stats: ==================== 28 Lets floated to top level; 5 Lets floated elsewhere; from 32 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 6076 1689 PreInlineUnconditionally 877 PostInlineUnconditionally 437 UnfoldingDone 239 RuleFired 35 SC:$wunfold_unstream0 44 SC:$wunfold_unstream1 22 SC:$wunfold_unstream2 52 SC:$wunfold_unstream3 35 SC:$wunfold_unstream4 1 SC:Inverse.inMMI0 1 SC:Inverse.inMMI1 10 STREAM stream/unstream fusion 9 bindL -> fusible 2 filter -> fusible 2 filter -> unfused 1 foldr1 -> fusible 1 foldr1 -> unfused 1 guardL -> fusible 5 map -> fusible 5 map -> unfused 3 null -> fusible 3 null -> unfused 5 returnL -> fusible 1 take -> fusible 1 take -> unfused 164 LetFloatFromLet 2054 BetaReduction 28 CaseOfCase 448 KnownBranch 1 CaseMerge 98 CaseElim 2 CaseIdentity 39 FillInCaseDefault 24 SimplifierDone [16 of 31] Compiling TypeCheck5 ( TypeCheck5.hs, TypeCheck5.o ) ==================== FloatOut stats: ==================== 103 Lets floated to top level; 2 Lets floated elsewhere; from 101 Lambda groups ==================== FloatOut stats: ==================== 74 Lets floated to top level; 7 Lets floated elsewhere; from 157 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 17318 4228 PreInlineUnconditionally 3277 PostInlineUnconditionally 1503 UnfoldingDone 418 RuleFired 1 ++ -> fused on 1st arg 2 ==#->case 1 SC:$wloop_append10 1 SC:$wloop_append11 3 SC:$wloop_append12 2 SC:$wloop_append13 1 SC:$wloop_concat_go0 2 SC:$wloop_foldr0 2 SC:$wloop_foldr1 6 SC:$wloop_foldr2 4 SC:$wloop_foldr3 1 SC:$wtcUnify0 1 SC:$wtcUnify1 18 SC:$wunfold_unstream0 23 SC:$wunfold_unstream1 15 SC:$wunfold_unstream2 24 SC:$wunfold_unstream3 17 SC:$wunfold_unstream4 2 SC:$wunfold_unstream5 4 SC:$wunfold_unstream6 6 SC:$wunfold_unstream7 4 SC:$wunfold_unstream8 4 SC:$wunfold_unstream9 2 SC:TypeCheck5.tcUnifySet0 1 SC:TypeCheck5.tccase10 1 SC:TypeCheck5.tcl0 1 SC:poly_$wunfold_unstream_sMiZ0 1 SC:poly_$wunfold_unstream_sMiZ1 4 SC:poly_$wunfold_unstream_sMiZ2 2 SC:poly_$wunfold_unstream_sMiZ3 8 SC:pretty'0 5 SC:pretty'1 1 SPEC GHC.Base.$f10 2 SPEC TypeCheck5.tcBar 4 STREAM map/map fusion 29 STREAM stream/unstream fusion 6 bindL -> fusible 9 concat -> fused 3 concat -> unfused 5 elem -> fusible 5 elem -> unfused 4 eqString 2 foldr -> fusible 3 foldr -> unfused 4 guardL -> fusible 3 head -> fusible 2 head -> unfused 5 length -> fusible 5 length -> unfused 34 map -> fusible 18 map -> unfused 5 returnL -> fusible 1 returnL -> unfused 39 unpack 39 unpack-list 14 zip -> fusible 7 zipWith -> unfused 390 LetFloatFromLet 7 EtaReduction 5582 BetaReduction 98 CaseOfCase 1423 KnownBranch 4 CaseMerge 231 CaseElim 1 CaseIdentity 148 FillInCaseDefault 28 SimplifierDone 8 AltMerge [17 of 31] Compiling PrintResults ( PrintResults.hs, PrintResults.o ) ==================== FloatOut stats: ==================== 77 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== FloatOut stats: ==================== 19 Lets floated to top level; 1 Lets floated elsewhere; from 42 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 5230 1250 PreInlineUnconditionally 1016 PostInlineUnconditionally 439 UnfoldingDone 171 RuleFired 3 ++ -> 1st arg empty 1 ++ -> fused (1) 1 ++ -> fused on 1st arg 4 ++ / : 5 SC:$wunfold_unstream0 5 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 5 SC:$wunfold_unstream3 3 SC:$wunfold_unstream4 3 SC:$wunfold_unstream5 2 SC:$wunfold_unstream6 3 SC:$wunfold_unstream7 2 SC:$wunfold_unstream8 3 SC:$wunfold_unstream9 2 SC:PrintResults.prCrossList0 2 SC:go40 1 SPEC GHC.Base.$f10 8 STREAM stream/unstream fusion 2 bindL -> fusible 4 concat -> fused 2 concat -> unfused 1 elem -> fusible 1 elem -> unfused 1 foldl' -> fusible 1 foldl' -> unfused 1 head -> fusible 1 head -> unfused 2 length -> fusible 2 length -> unfused 20 map -> fusible 16 map -> unfused 3 maximumInt 2 minimumInt 1 negateInt# 1 returnL -> fusible 2 sum spec Int 2 sumInt -> fusible 24 unpack 24 unpack-list 1 zip -> fusible 88 LetFloatFromLet 2 EtaReduction 1679 BetaReduction 42 CaseOfCase 419 KnownBranch 62 CaseElim 9 CaseIdentity 49 FillInCaseDefault 22 SimplifierDone 4 AltMerge [18 of 31] Compiling Constructors ( Constructors.hs, Constructors.o ) ==================== FloatOut stats: ==================== 44 Lets floated to top level; 2 Lets floated elsewhere; from 22 Lambda groups ==================== FloatOut stats: ==================== 20 Lets floated to top level; 4 Lets floated elsewhere; from 24 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 5447 1411 PreInlineUnconditionally 880 PostInlineUnconditionally 421 UnfoldingDone 184 RuleFired 1 ++ -> fused (1) 1 ++ -> fused on 1st arg 1 ++ -> fused on 2nd arg 28 SC:$wunfold_unstream0 16 SC:$wunfold_unstream1 13 SC:$wunfold_unstream2 9 SC:$wunfold_unstream3 8 SC:$wunfold_unstream4 3 SC:Constructors.coCGen_aux0 3 SC:unfold_unstream0 3 SC:unfold_unstream1 4 SC:unfold_unstream2 2 SC:unfold_unstream3 3 SC:unfold_unstream4 4 SC:unfold_unstream5 2 SC:unfold_unstream6 4 SC:unfold_unstream7 3 SC:unfold_unstream8 4 SC:unfold_unstream9 7 STREAM stream/unstream fusion 7 bindL -> fusible 1 head -> fusible 4 length -> fusible 4 length -> unfused 15 map -> fusible 15 map -> unfused 5 returnL -> fusible 7 unpack 7 unpack-list 149 LetFloatFromLet 1 EtaReduction 1821 BetaReduction 20 CaseOfCase 437 KnownBranch 2 CaseMerge 84 CaseElim 37 FillInCaseDefault 26 SimplifierDone [19 of 31] Compiling BarakiMeet ( BarakiMeet.hs, BarakiMeet.o ) ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 18 Lambda groups ==================== FloatOut stats: ==================== 9 Lets floated to top level; 1 Lets floated elsewhere; from 23 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1103 300 PreInlineUnconditionally 183 PostInlineUnconditionally 86 UnfoldingDone 34 RuleFired 3 SC:$wunfold_unstream0 4 SC:$wunfold_unstream1 2 SC:$wunfold_unstream2 4 SC:$wunfold_unstream3 3 SC:$wunfold_unstream4 1 SC:BarakiMeet.bmNorm_rep0 1 SC:BarakiMeet.bmNorm_rep1 1 SC:BarakiMeet.bmNorm_rep2 2 SC:inner0 2 STREAM stream/unstream fusion 1 bindL -> fusible 1 foldr -> fusible 1 foldr -> unfused 1 guardL -> fusible 3 map -> fusible 3 map -> unfused 1 returnL -> fusible 32 LetFloatFromLet 353 BetaReduction 6 CaseOfCase 86 KnownBranch 2 CaseMerge 14 CaseElim 6 FillInCaseDefault 23 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: ==================== 10 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1704 450 PreInlineUnconditionally 304 PostInlineUnconditionally 119 UnfoldingDone 67 RuleFired 3 SC:$wloop_foldl10 1 SC:BarakiConc3.bcFdotC0 1 SPEC GHC.Base.$f10 1 STREAM map/map fusion 3 STREAM stream/unstream fusion 1 all -> fusible 1 all -> unfused 1 foldl1 -> fusible 24 map -> fusible 22 map -> unfused 1 take -> fusible 4 unpack 4 unpack-list 33 LetFloatFromLet 588 BetaReduction 13 CaseOfCase 104 KnownBranch 13 CaseElim 13 FillInCaseDefault 24 SimplifierDone [21 of 31] Compiling EtaAbstract ( EtaAbstract.hs, EtaAbstract.o ) ==================== FloatOut stats: ==================== 18 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 22 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2467 599 PreInlineUnconditionally 517 PostInlineUnconditionally 184 UnfoldingDone 80 RuleFired 2 SC:$wmergeLams0 6 SC:$wunfold_unstream0 8 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 7 SC:$wunfold_unstream3 7 SC:$wunfold_unstream4 1 SPEC GHC.Base.$f9 1 STREAM map/map fusion 4 STREAM stream/unstream fusion 2 bindL -> fusible 2 drop -> fusible 2 drop -> unfused 1 eqChar#->case 1 filter -> fusible 1 last -> fusible 1 last -> unfused 8 length -> fusible 8 length -> unfused 4 map -> fusible 2 map -> unfused 2 null -> fusible 2 null -> unfused 2 returnL -> fusible 1 unpack 1 unpack-list 69 LetFloatFromLet 741 BetaReduction 16 CaseOfCase 211 KnownBranch 33 CaseElim 1 CaseIdentity 14 FillInCaseDefault 23 SimplifierDone 2 AltMerge [22 of 31] Compiling PrettyPrint ( PrettyPrint.hs, PrettyPrint.o ) ==================== FloatOut stats: ==================== 42 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 57 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2297 479 PreInlineUnconditionally 366 PostInlineUnconditionally 229 UnfoldingDone 91 RuleFired 1 ++ -> 1st arg empty 1 ++ / : 6 SC:$wunfold_unstream0 8 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 7 SC:$wunfold_unstream3 7 SC:$wunfold_unstream4 5 SPEC Utils.utiIndent 2 STREAM stream/unstream fusion 2 bindL -> fusible 6 map -> fusible 6 map -> unfused 2 returnL -> fusible 17 unpack 17 unpack-list 83 LetFloatFromLet 887 BetaReduction 4 CaseOfCase 127 KnownBranch 24 CaseElim 7 FillInCaseDefault 22 SimplifierDone [23 of 31] Compiling Dependancy ( Dependancy.hs, Dependancy.o ) ==================== FloatOut stats: ==================== 54 Lets floated to top level; 0 Lets floated elsewhere; from 66 Lambda groups ==================== FloatOut stats: ==================== 77 Lets floated to top level; 8 Lets floated elsewhere; from 80 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 15774 3989 PreInlineUnconditionally 2810 PostInlineUnconditionally 1224 UnfoldingDone 453 RuleFired 6 SC:$wgo40 6 SC:$wloop_foldr0 16 SC:$wloop_foldr1 4 SC:$wloop_foldr2 16 SC:$wloop_foldr3 6 SC:$wloop_foldr4 45 SC:$wunfold_unstream0 52 SC:$wunfold_unstream1 8 SC:$wunfold_unstream10 8 SC:$wunfold_unstream11 4 SC:$wunfold_unstream12 26 SC:$wunfold_unstream2 46 SC:$wunfold_unstream3 43 SC:$wunfold_unstream4 10 SC:$wunfold_unstream5 5 SC:$wunfold_unstream6 8 SC:$wunfold_unstream7 2 SC:$wunfold_unstream8 2 SC:$wunfold_unstream9 3 SC:poly_$wunfold_unstream_s13vr0 4 SC:poly_$wunfold_unstream_s13vr1 2 SC:poly_$wunfold_unstream_s13vr2 4 SC:poly_$wunfold_unstream_s13vr3 4 SC:poly_$wunfold_unstream_s13vr4 3 SC:poly_$wunfold_unstream_s13vt0 4 SC:poly_$wunfold_unstream_s13vt1 2 SC:poly_$wunfold_unstream_s13vt2 4 SC:poly_$wunfold_unstream_s13vt3 5 SC:poly_$wunfold_unstream_s13vt4 1 SPEC Dependancy.deDepends 3 SPEC Dependancy.deDepthFirstSearch 1 SPEC Dependancy.deScc 1 SPEC Dependancy.deSpanningSearch 1 SPEC GHC.Base.$f9 1 SPEC ds_d12zK 27 STREAM stream/unstream fusion 19 bindL -> fusible 2 eqString 5 foldl -> fusible 5 foldl -> unfused 2 foldr -> fusible 4 guardL -> fusible 6 map -> fusible 4 map -> unfused 17 returnL -> fusible 2 unpack 2 unpack-list 1 zip -> fusible 1 zipWith -> unfused 486 LetFloatFromLet 2 EtaReduction 5134 BetaReduction 61 CaseOfCase 1296 KnownBranch 232 CaseElim 11 CaseIdentity 76 FillInCaseDefault 25 SimplifierDone [24 of 31] Compiling LambdaLift5 ( LambdaLift5.hs, LambdaLift5.o ) ==================== FloatOut stats: ==================== 64 Lets floated to top level; 0 Lets floated elsewhere; from 63 Lambda groups ==================== FloatOut stats: ==================== 18 Lets floated to top level; 2 Lets floated elsewhere; from 91 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 14551 3644 PreInlineUnconditionally 2691 PostInlineUnconditionally 1202 UnfoldingDone 368 RuleFired 1 ++ -> fused (1) 5 ++ -> fused on 1st arg 6 SC:$wloop_append10 7 SC:$wloop_append11 9 SC:$wloop_append12 9 SC:$wloop_append13 4 SC:$wloop_append14 1 SC:$wloop_append15 2 SC:$wloop_append16 3 SC:$wloop_append17 2 SC:$wloop_append18 2 SC:$wloop_append19 3 SC:$wloop_concat_go0 2 SC:$wloop_concat_go1 3 SC:$wloop_concat_to0 4 SC:$wloop_concat_to1 4 SC:$wloop_concat_to2 3 SC:$wloop_concat_to3 2 SC:$wloop_concat_to4 24 SC:$wunfold_unstream0 32 SC:$wunfold_unstream1 16 SC:$wunfold_unstream2 29 SC:$wunfold_unstream3 28 SC:$wunfold_unstream4 2 SC:LambdaLift5.llMergeLams0 4 SC:gc0 2 SC:getdups0 3 SC:unfold_unstream0 3 SC:unfold_unstream1 1 SPEC BaseDefs.$f38 1 SPEC GHC.Base.$f9 17 STREAM stream/unstream fusion 10 bindL -> fusible 4 concat -> fused 1 dropWhile -> fusible 1 dropWhile -> unfused 3 elem -> fusible 3 elem -> unfused 4 eqChar#->case 4 eqString 2 filter -> fusible 2 filter -> unfused 2 foldl -> fusible 1 foldl -> unfused 4 head -> fusible 4 head -> unfused 24 map -> fusible 17 map -> unfused 2 neChar#->case 1 null -> fusible 1 null -> unfused 10 returnL -> fusible 1 tail -> fusible 1 tail -> unfused 4 takeWhile -> fusible 4 takeWhile -> unfused 7 unpack 7 unpack-list 4 zip -> fusible 3 zipWith -> fusible 3 zipWith -> unfused 400 LetFloatFromLet 3 EtaReduction 4649 BetaReduction 77 CaseOfCase 1213 KnownBranch 1 CaseMerge 205 CaseElim 4 CaseIdentity 86 FillInCaseDefault 31 SimplifierDone 8 AltMerge [25 of 31] Compiling MakeDomains ( MakeDomains.hs, MakeDomains.o ) ==================== FloatOut stats: ==================== 19 Lets floated to top level; 0 Lets floated elsewhere; from 20 Lambda groups ==================== FloatOut stats: ==================== 30 Lets floated to top level; 2 Lets floated elsewhere; from 26 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 5464 1421 PreInlineUnconditionally 886 PostInlineUnconditionally 417 UnfoldingDone 218 RuleFired 2 SC:$wloop_concat_go0 4 SC:$wloop_concat_go1 1 SC:$wloop_concat_to0 1 SC:$wloop_concat_to1 2 SC:$wloop_concat_to2 2 SC:$wloop_concat_to3 29 SC:$wunfold_unstream0 36 SC:$wunfold_unstream1 18 SC:$wunfold_unstream2 44 SC:$wunfold_unstream3 29 SC:$wunfold_unstream4 1 SPEC Dependancy.deScc 1 SPEC GHC.Base.$f9 12 STREAM stream/unstream fusion 3 bindL -> fusible 4 concat -> fused 2 elem -> fusible 2 elem -> unfused 3 eqString 2 guardL -> fusible 8 map -> fusible 2 map -> unfused 3 returnL -> fusible 3 unpack 3 unpack-list 1 zip -> fusible 110 LetFloatFromLet 1 EtaReduction 1854 BetaReduction 24 CaseOfCase 409 KnownBranch 78 CaseElim 1 CaseIdentity 43 FillInCaseDefault 22 SimplifierDone 2 AltMerge [26 of 31] Compiling TExpr2DExpr ( TExpr2DExpr.hs, TExpr2DExpr.o ) ==================== FloatOut stats: ==================== 10 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 23 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1592 322 PreInlineUnconditionally 439 PostInlineUnconditionally 126 UnfoldingDone 54 RuleFired 3 SC:$wunfold_unstream0 4 SC:$wunfold_unstream1 2 SC:$wunfold_unstream2 4 SC:$wunfold_unstream3 3 SC:$wunfold_unstream4 1 SPEC GHC.Base.$f10 1 STREAM stream/unstream fusion 1 bindL -> fusible 3 concat -> fused 3 concat -> unfused 1 drop -> fusible 1 drop -> unfused 3 length -> fusible 3 length -> unfused 2 map -> fusible 2 map -> unfused 1 returnL -> fusible 1 take -> fusible 1 take -> unfused 6 unpack 6 unpack-list 1 zip -> fusible 1 zipWith -> unfused 32 LetFloatFromLet 469 BetaReduction 10 CaseOfCase 123 KnownBranch 12 CaseElim 5 FillInCaseDefault 21 SimplifierDone [27 of 31] Compiling Parser2 ( Parser2.hs, Parser2.o ) ==================== FloatOut stats: ==================== 64 Lets floated to top level; 0 Lets floated elsewhere; from 77 Lambda groups ==================== FloatOut stats: ==================== 83 Lets floated to top level; 3 Lets floated elsewhere; from 143 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 10530 2416 PreInlineUnconditionally 2246 PostInlineUnconditionally 925 UnfoldingDone 256 RuleFired 3 SC:$wunfold_unstream0 4 SC:$wunfold_unstream1 2 SC:$wunfold_unstream2 4 SC:$wunfold_unstream3 4 SC:$wunfold_unstream4 2 SC:Parser2.paAlts0 1 SC:Parser2.paLex0 2 SC:go40 1 SPEC BaseDefs.$f38 1 SPEC GHC.Base.$f9 16 STREAM stream/unstream fusion 7 and -> fused 1 bindL -> fusible 8 concat -> fused 2 dropWhile -> fusible 2 dropWhile -> unfused 7 elem -> fusible 9 elem -> unfused 1 eqChar#->case 15 eqString 1 foldl -> fusible 12 foldl -> unfused 1 foldl' -> fusible 1 foldl' -> unfused 4 head -> fusible 6 head -> unfused 8 length -> fusible 8 length -> unfused 19 map -> fusible 4 map -> unfused 1 returnL -> fusible 1 sum spec Int 1 sumInt -> fusible 1 sumInt -> unfused 2 takeWhile -> fusible 2 takeWhile -> unfused 46 unpack 46 unpack-list 248 LetFloatFromLet 9 EtaReduction 3245 BetaReduction 157 CaseOfCase 880 KnownBranch 72 CaseElim 76 FillInCaseDefault 27 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: ==================== 27 Lets floated to top level; 0 Lets floated elsewhere; from 33 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 808 136 PreInlineUnconditionally 207 PostInlineUnconditionally 70 UnfoldingDone 22 RuleFired 1 ++ -> 2nd arg empty 1 SPEC GHC.Base.$f10 1 dropWhile -> fusible 1 dropWhile -> unfused 6 eqString 1 takeWhile -> fusible 1 takeWhile -> unfused 5 unpack 5 unpack-list 66 LetFloatFromLet 1 EtaReduction 226 BetaReduction 17 CaseOfCase 53 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: ==================== 6 Lets floated to top level; 0 Lets floated elsewhere; from 9 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 519 140 PreInlineUnconditionally 110 PostInlineUnconditionally 44 UnfoldingDone 22 RuleFired 2 SC:Simplify.siVectorise0 1 SPEC GHC.Base.$f10 1 eqString 1 foldl -> fusible 1 foldl -> unfused 1 foldr1 -> fusible 1 foldr1 -> unfused 2 map -> fusible 2 map -> unfused 4 null -> fusible 4 null -> unfused 1 unpack 1 unpack-list 1 LetFloatFromLet 152 BetaReduction 7 CaseOfCase 41 KnownBranch 1 CaseIdentity 1 FillInCaseDefault 19 SimplifierDone [30 of 31] Compiling StrictAn6 ( StrictAn6.hs, StrictAn6.o ) ==================== FloatOut stats: ==================== 124 Lets floated to top level; 1 Lets floated elsewhere; from 58 Lambda groups ==================== FloatOut stats: ==================== 38 Lets floated to top level; 0 Lets floated elsewhere; from 115 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 9908 2524 PreInlineUnconditionally 1827 PostInlineUnconditionally 867 UnfoldingDone 331 RuleFired 7 ++ -> 1st arg empty 2 ++ -> fused on 1st arg 9 ++ / : 2 ==#->case 7 SC:$wloop_append10 2 SC:$wsa0 2 SC:$wsa1 2 SC:$wsaNonRecSearch0 3 SC:$wunfold_unstream0 8 SC:$wunfold_unstream1 4 SC:$wunfold_unstream2 6 SC:$wunfold_unstream3 9 SC:$wunfold_unstream4 1 SC:Data.List.Stream.transpose0 3 SC:StrictAn6.saFixMain0 5 SC:StrictAn6.saGroups0 1 SPEC GHC.Base.$f10 2 SPEC StrictAn6.saPrinter_aux 6 STREAM map/map fusion 16 STREAM stream/unstream fusion 2 bindL -> fusible 2 concat -> fused 12 elem -> fusible 11 elem -> unfused 1 eqChar#->case 9 eqString 6 filter -> fusible 10 head -> fusible 5 head -> unfused 1 init -> fusible 2 last -> fusible 2 last -> unfused 1 length -> fusible 1 length -> unfused 34 map -> fusible 26 map -> unfused 3 null -> fusible 7 null -> unfused 2 returnL -> fusible 1 returnL -> unfused 48 unpack 48 unpack-list 132 LetFloatFromLet 8 EtaReduction 3312 BetaReduction 88 CaseOfCase 684 KnownBranch 66 CaseElim 69 FillInCaseDefault 26 SimplifierDone [31 of 31] Compiling Main ( anna.hs, anna.o ) ==================== FloatOut stats: ==================== 30 Lets floated to top level; 1 Lets floated elsewhere; from 10 Lambda groups ==================== FloatOut stats: ==================== 49 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 4422 1458 PreInlineUnconditionally 113 PostInlineUnconditionally 122 UnfoldingDone 547 RuleFired 32 ++ -> 1st arg empty 340 ++ / : 1 concat -> fused 1 concat -> unfused 3 elem -> fusible 3 elem -> unfused 4 filter -> fusible 4 filter -> unfused 1 length -> fusible 1 length -> unfused 1 map -> fusible 1 map -> unfused 77 unpack 77 unpack-list 1 x# ==# x# 129 LetFloatFromLet 1 EtaReduction 1978 BetaReduction 9 CaseOfCase 36 KnownBranch 29 FillInCaseDefault 18 SimplifierDone Linking anna ... <>