[ 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: 7797 1418 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 28 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 44 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 45 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 1311 320 PreInlineUnconditionally 265 PostInlineUnconditionally 115 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 408 BetaReduction 8 CaseOfCase 97 KnownBranch 1 CaseMerge 13 CaseElim 37 FillInCaseDefault 60 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 ==================== 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 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 133 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 3289 731 PreInlineUnconditionally 1019 PostInlineUnconditionally 237 UnfoldingDone 94 RuleFired 2 ++ -> 1st arg empty 2 ++ / : 1 <=# 8 SC:$j_sdWW0 4 SC:$j_sdWY0 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 877 BetaReduction 17 CaseOfCase 252 KnownBranch 1 CaseElim 9 CaseIdentity 2 FillInCaseDefault 61 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: 742 169 PreInlineUnconditionally 128 PostInlineUnconditionally 61 UnfoldingDone 42 RuleFired 2 SC:DomainExpr.dxNormaliseDExpr0 1 SPEC DomainExpr.dxDiff_aux 1 SPEC GHC.Base.$f10 1 SPEC ds_di7v 9 map -> fusible 9 map -> unfused 1 ord# 9 unpack 9 unpack-list 23 LetFloatFromLet 290 BetaReduction 20 KnownBranch 6 FillInCaseDefault 19 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 8 Lets floated elsewhere; from 97 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 4 Lets floated elsewhere; from 92 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 86 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 82 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 9162 2461 PreInlineUnconditionally 1502 PostInlineUnconditionally 646 UnfoldingDone 306 RuleFired 8 SC:$s$s$wloop_foldr0 2 SC:$s$wloop_foldr0 6 SC:$s$wloop_foldr1 8 SC:$s$wloop_foldr2 4 SC:$s$wloop_foldr3 8 SC:$s$wloop_foldr4 8 SC:$s$wloop_foldr5 8 SC:$s$wloop_foldr6 6 SC:$s$wunfold_unstream0 16 SC:$s$wunfold_unstream1 6 SC:$s$wunfold_unstream2 4 SC:$s$wunfold_unstream3 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 250 LetFloatFromLet 7 EtaReduction 2994 BetaReduction 57 CaseOfCase 748 KnownBranch 126 CaseElim 60 FillInCaseDefault 43 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: ==================== 5 Lets floated to top level; 2 Lets floated elsewhere; from 56 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 8 Lets floated elsewhere; from 64 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 97 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 83 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 11752 3452 PreInlineUnconditionally 1459 PostInlineUnconditionally 681 UnfoldingDone 832 RuleFired 2 ++ -> fused on 1st arg 2 ++ -> fused on 2nd arg 22 SC:$s$wunfold_unstream0 42 SC:$sunfold_unstream0 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 12 null -> fusible 12 null -> unfused 8 returnL -> fusible 1 take -> fusible 1 take -> unfused 184 LetFloatFromLet 1 EtaReduction 4184 BetaReduction 64 CaseOfCase 698 KnownBranch 2 CaseMerge 106 CaseElim 73 FillInCaseDefault 33 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 29 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 4 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 26 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 4131 1157 PreInlineUnconditionally 578 PostInlineUnconditionally 301 UnfoldingDone 146 RuleFired 8 SC:$s$s$wunfold_unstream0 6 SC:$s$wunfold_unstream0 8 SC:$s$wunfold_unstream1 4 SC:$s$wunfold_unstream2 2 SC:$s$wunfold_unstream3 8 SC:$s$wunfold_unstream4 8 SC:$s$wunfold_unstream5 8 SC:$s$wunfold_unstream6 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 103 LetFloatFromLet 1441 BetaReduction 24 CaseOfCase 294 KnownBranch 58 CaseElim 29 FillInCaseDefault 41 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: ==================== 4 Lets floated to top level; 0 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 32 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 40 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 40 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2733 783 PreInlineUnconditionally 423 PostInlineUnconditionally 164 UnfoldingDone 140 RuleFired 4 SC:$s$wunfold_unstream0 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 60 LetFloatFromLet 1 EtaReduction 945 BetaReduction 17 CaseOfCase 169 KnownBranch 24 CaseElim 7 FillInCaseDefault 37 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: ==================== 168 Lets floated to top level; 8 Lets floated elsewhere; from 105 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 11 Lets floated elsewhere; from 121 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 117 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 96 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 22923 5712 PreInlineUnconditionally 4548 PostInlineUnconditionally 1628 UnfoldingDone 827 RuleFired 2 ++ -> 1st arg empty 3 ++ -> fused on 1st arg 1 ==#->case 6 SC:$s$wloop_append10 4 SC:$s$wloop_foldr0 4 SC:$s$wloop_foldr1 8 SC:$s$wloop_foldr2 2 SC:$s$wloop_foldr3 4 SC:$s$wloop_foldr4 4 SC:$s$wloop_foldr5 4 SC:$s$wloop_foldr6 2 SC:$s$wloop_head0 2 SC:$s$wloop_head1 28 SC:$s$wunfold_unstream0 23 SC:$s$wunfold_unstream1 84 SC:$s$wunfold_unstream2 2 SC:$s$wunfold_unstream3 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 4 SC:$wloop_foldr0 8 SC:$wloop_foldr1 10 SC:$wloop_foldr2 8 SC:$wloop_foldr3 6 SC:$wloop_head0 4 SC:$wloop_head1 4 SC:$wloop_head2 4 SC:$wloop_head3 6 SC:$wloop_head4 51 SC:$wunfold_unstream0 64 SC:$wunfold_unstream1 32 SC:$wunfold_unstream2 76 SC:$wunfold_unstream3 51 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_sy9b0 2 SC:poly_go4_sy9R0 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 489 LetFloatFromLet 6 EtaReduction 7196 BetaReduction 163 CaseOfCase 1940 KnownBranch 263 CaseElim 14 CaseIdentity 129 FillInCaseDefault 45 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 13 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 7 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2689 698 PreInlineUnconditionally 464 PostInlineUnconditionally 203 UnfoldingDone 110 RuleFired 2 SC:$s$wunfold_unstream0 6 SC:$s$wunfold_unstream1 2 SC:$s$wunfold_unstream2 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 56 LetFloatFromLet 846 BetaReduction 35 CaseOfCase 241 KnownBranch 28 CaseElim 8 FillInCaseDefault 36 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 27 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 3 Lets floated elsewhere; from 27 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 6 Lets floated elsewhere; from 27 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 24 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 21 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 21 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 6506 2078 PreInlineUnconditionally 799 PostInlineUnconditionally 408 UnfoldingDone 251 RuleFired 3 SC:$s$s$s$s$wunfold_unstream0 7 SC:$s$s$s$wunfold_unstream0 5 SC:$s$s$s$wunfold_unstream1 2 SC:$s$s$s$wunfold_unstream2 1 SC:$s$s$s$wunfold_unstream3 1 SC:$s$s$s$wunfold_unstream4 14 SC:$s$s$wunfold_unstream0 2 SC:$s$s$wunfold_unstream1 2 SC:$s$s$wunfold_unstream11 2 SC:$s$s$wunfold_unstream12 3 SC:$s$s$wunfold_unstream13 6 SC:$s$s$wunfold_unstream14 6 SC:$s$s$wunfold_unstream16 12 SC:$s$s$wunfold_unstream17 10 SC:$s$s$wunfold_unstream18 2 SC:$s$s$wunfold_unstream2 2 SC:$s$s$wunfold_unstream4 2 SC:$s$s$wunfold_unstream5 8 SC:$s$s$wunfold_unstream6 8 SC:$s$s$wunfold_unstream8 9 SC:$s$wunfold_unstream0 12 SC:$s$wunfold_unstream1 6 SC:$s$wunfold_unstream2 3 SC:$s$wunfold_unstream3 12 SC:$s$wunfold_unstream4 12 SC:$s$wunfold_unstream5 12 SC:$s$wunfold_unstream6 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 131 LetFloatFromLet 2335 BetaReduction 27 CaseOfCase 385 KnownBranch 1 CaseMerge 68 CaseElim 23 FillInCaseDefault 54 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 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 9 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 550 161 PreInlineUnconditionally 61 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 206 BetaReduction 3 CaseOfCase 25 KnownBranch 6 CaseElim 5 FillInCaseDefault 22 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 34 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 43 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2797 670 PreInlineUnconditionally 512 PostInlineUnconditionally 223 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 993 BetaReduction 29 CaseOfCase 215 KnownBranch 5 CaseMerge 56 CaseElim 2 CaseIdentity 14 FillInCaseDefault 31 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 ==================== 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: 1143 347 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 26 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 31 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 5 Lets floated elsewhere; from 32 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 16 Lets floated elsewhere; from 48 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 47 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 31 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 9624 3071 PreInlineUnconditionally 1197 PostInlineUnconditionally 515 UnfoldingDone 458 RuleFired 32 SC:$s$s$wunfold_unstream0 16 SC:$s$wunfold_unstream0 29 SC:$s$wunfold_unstream1 32 SC:$s$wunfold_unstream2 14 SC:$s$wunfold_unstream3 32 SC:$s$wunfold_unstream4 32 SC:$s$wunfold_unstream5 32 SC:$s$wunfold_unstream6 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 227 LetFloatFromLet 3353 BetaReduction 62 CaseOfCase 601 KnownBranch 1 CaseMerge 98 CaseElim 2 CaseIdentity 39 FillInCaseDefault 42 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: ==================== 76 Lets floated to top level; 7 Lets floated elsewhere; from 159 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 5 Lets floated elsewhere; from 162 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 162 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 157 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 155 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 18487 4651 PreInlineUnconditionally 3425 PostInlineUnconditionally 1516 UnfoldingDone 485 RuleFired 1 ++ -> fused on 1st arg 2 ==#->case 2 SC:$s$s$wunfold_unstream0 4 SC:$s$s$wunfold_unstream1 2 SC:$s$s$wunfold_unstream2 4 SC:$s$s$wunfold_unstream3 2 SC:$s$s$wunfold_unstream4 2 SC:$s$s$wunfold_unstream5 11 SC:$s$wunfold_unstream0 11 SC:$s$wunfold_unstream1 10 SC:$s$wunfold_unstream2 5 SC:$s$wunfold_unstream3 6 SC:$s$wunfold_unstream4 4 SC:$s$wunfold_unstream5 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_sPgP0 1 SC:poly_$wunfold_unstream_sPgP1 4 SC:poly_$wunfold_unstream_sPgP2 2 SC:poly_$wunfold_unstream_sPgP3 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 3 foldr -> fusible 4 foldr -> unfused 4 guardL -> fusible 3 head -> fusible 2 head -> unfused 5 length -> fusible 5 length -> unfused 35 map -> fusible 19 map -> unfused 5 returnL -> fusible 1 returnL -> unfused 39 unpack 39 unpack-list 14 zip -> fusible 7 zipWith -> unfused 397 LetFloatFromLet 8 EtaReduction 6015 BetaReduction 111 CaseOfCase 1487 KnownBranch 4 CaseMerge 231 CaseElim 1 CaseIdentity 148 FillInCaseDefault 47 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: ==================== 23 Lets floated to top level; 1 Lets floated elsewhere; from 44 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 44 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 46 Lambda groups ==================== FloatOut stats: ==================== 0 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 44 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 5673 1422 PreInlineUnconditionally 1055 PostInlineUnconditionally 450 UnfoldingDone 197 RuleFired 3 ++ -> 1st arg empty 1 ++ -> fused (1) 1 ++ -> fused on 1st arg 4 ++ / : 4 SC:$s$s$wunfold_unstream0 3 SC:$s$wunfold_unstream0 4 SC:$s$wunfold_unstream1 2 SC:$s$wunfold_unstream2 1 SC:$s$wunfold_unstream3 4 SC:$s$wunfold_unstream4 4 SC:$s$wunfold_unstream5 4 SC:$s$wunfold_unstream6 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 96 LetFloatFromLet 2 EtaReduction 1844 BetaReduction 46 CaseOfCase 437 KnownBranch 62 CaseElim 9 CaseIdentity 49 FillInCaseDefault 42 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; 5 Lets floated elsewhere; from 24 Lambda groups ==================== FloatOut stats: ==================== 3 Lets floated to top level; 3 Lets floated elsewhere; from 30 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 2 Lets floated elsewhere; from 32 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 2 Lets floated elsewhere; from 27 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 25 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 23 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 6756 1949 PreInlineUnconditionally 991 PostInlineUnconditionally 449 UnfoldingDone 237 RuleFired 1 ++ -> fused (1) 1 ++ -> fused on 1st arg 1 ++ -> fused on 2nd arg 4 SC:$s$s$s$wunfold_unstream0 6 SC:$s$s$wunfold_unstream0 8 SC:$s$s$wunfold_unstream1 4 SC:$s$s$wunfold_unstream2 6 SC:$s$s$wunfold_unstream3 8 SC:$s$s$wunfold_unstream4 14 SC:$s$wunfold_unstream0 8 SC:$s$wunfold_unstream1 4 SC:$s$wunfold_unstream2 4 SC:$s$wunfold_unstream3 6 SC:$sunfold_unstream0 19 SC:$wunfold_unstream0 10 SC:$wunfold_unstream1 10 SC:$wunfold_unstream2 6 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 foldr -> fusible 1 foldr -> unfused 1 head -> fusible 4 length -> fusible 4 length -> unfused 15 map -> fusible 15 map -> unfused 5 returnL -> fusible 7 unpack 7 unpack-list 177 LetFloatFromLet 2333 BetaReduction 29 CaseOfCase 468 KnownBranch 2 CaseMerge 84 CaseElim 37 FillInCaseDefault 74 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 25 Lambda groups ==================== FloatOut stats: ==================== 0 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 27 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 26 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 1212 329 PreInlineUnconditionally 209 PostInlineUnconditionally 90 UnfoldingDone 40 RuleFired 1 SC:$s$wunfold_unstream0 2 SC:$s$wunfold_unstream1 1 SC:$s$wunfold_unstream2 2 SC:$s$wunfold_unstream3 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 31 LetFloatFromLet 383 BetaReduction 8 CaseOfCase 99 KnownBranch 2 CaseMerge 14 CaseElim 6 FillInCaseDefault 33 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: ==================== 13 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: 1759 459 PreInlineUnconditionally 312 PostInlineUnconditionally 127 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 612 BetaReduction 15 CaseOfCase 108 KnownBranch 13 CaseElim 13 FillInCaseDefault 30 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: ==================== 6 Lets floated to top level; 0 Lets floated elsewhere; from 21 Lambda groups ==================== FloatOut stats: ==================== 2 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 20 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 19 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 2552 627 PreInlineUnconditionally 530 PostInlineUnconditionally 188 UnfoldingDone 86 RuleFired 2 SC:$s$s$wunfold_unstream0 4 SC:$s$wunfold_unstream0 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 68 LetFloatFromLet 771 BetaReduction 19 CaseOfCase 213 KnownBranch 33 CaseElim 1 CaseIdentity 14 FillInCaseDefault 36 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 ==================== FloatOut stats: ==================== 10 Lets floated to top level; 0 Lets floated elsewhere; from 59 Lambda groups ==================== FloatOut stats: ==================== 8 Lets floated to top level; 0 Lets floated elsewhere; from 56 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: 2791 603 PreInlineUnconditionally 539 PostInlineUnconditionally 233 UnfoldingDone 97 RuleFired 1 ++ -> 1st arg empty 1 ++ / : 2 SC:$s$s$wunfold_unstream0 4 SC:$s$wunfold_unstream0 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 82 LetFloatFromLet 1066 BetaReduction 7 CaseOfCase 133 KnownBranch 24 CaseElim 7 FillInCaseDefault 65 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 ==================== FloatOut stats: ==================== 5 Lets floated to top level; 12 Lets floated elsewhere; from 95 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 90 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 72 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 70 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 17134 4458 PreInlineUnconditionally 3000 PostInlineUnconditionally 1282 UnfoldingDone 540 RuleFired 24 SC:$s$s$wunfold_unstream0 4 SC:$s$spoly_$wunfold_unstream0 14 SC:$s$wloop_foldr0 15 SC:$s$wunfold_unstream0 14 SC:$s$wunfold_unstream1 6 SC:$s$wunfold_unstream2 6 SC:$s$wunfold_unstream3 8 SC:$s$wunfold_unstream4 6 SC:$wgo40 6 SC:$wloop_foldr0 16 SC:$wloop_foldr1 4 SC:$wloop_foldr2 16 SC:$wloop_foldr3 6 SC:$wloop_foldr4 44 SC:$wunfold_unstream0 50 SC:$wunfold_unstream1 8 SC:$wunfold_unstream10 8 SC:$wunfold_unstream11 4 SC:$wunfold_unstream12 28 SC:$wunfold_unstream2 43 SC:$wunfold_unstream3 40 SC:$wunfold_unstream4 12 SC:$wunfold_unstream5 6 SC:$wunfold_unstream6 5 SC:$wunfold_unstream7 2 SC:$wunfold_unstream8 5 SC:$wunfold_unstream9 3 SC:poly_$wunfold_unstream_s196K0 4 SC:poly_$wunfold_unstream_s196K1 2 SC:poly_$wunfold_unstream_s196K2 4 SC:poly_$wunfold_unstream_s196K3 4 SC:poly_$wunfold_unstream_s196K4 3 SC:poly_$wunfold_unstream_s196M0 4 SC:poly_$wunfold_unstream_s196M1 2 SC:poly_$wunfold_unstream_s196M2 4 SC:poly_$wunfold_unstream_s196M3 5 SC:poly_$wunfold_unstream_s196M4 1 SPEC Dependancy.deDepends 3 SPEC Dependancy.deDepthFirstSearch 1 SPEC Dependancy.deScc 1 SPEC Dependancy.deSpanningSearch 1 SPEC GHC.Base.$f9 1 SPEC ds_d18b3 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 490 LetFloatFromLet 2 EtaReduction 5615 BetaReduction 80 CaseOfCase 1348 KnownBranch 232 CaseElim 11 CaseIdentity 76 FillInCaseDefault 71 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: ==================== 22 Lets floated to top level; 2 Lets floated elsewhere; from 94 Lambda groups ==================== FloatOut stats: ==================== 6 Lets floated to top level; 4 Lets floated elsewhere; from 102 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 107 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 97 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 15138 3856 PreInlineUnconditionally 2764 PostInlineUnconditionally 1233 UnfoldingDone 393 RuleFired 1 ++ -> fused (1) 5 ++ -> fused on 1st arg 6 SC:$s$s$wunfold_unstream0 2 SC:$s$wloop_append10 15 SC:$s$wunfold_unstream0 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 5 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 395 LetFloatFromLet 3 EtaReduction 4873 BetaReduction 86 CaseOfCase 1231 KnownBranch 1 CaseMerge 205 CaseElim 4 CaseIdentity 86 FillInCaseDefault 43 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 3 Lets floated elsewhere; from 29 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 22 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 5737 1521 PreInlineUnconditionally 924 PostInlineUnconditionally 423 UnfoldingDone 232 RuleFired 6 SC:$s$wunfold_unstream0 6 SC:$s$wunfold_unstream1 2 SC:$s$wunfold_unstream2 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 108 LetFloatFromLet 1 EtaReduction 1951 BetaReduction 28 CaseOfCase 425 KnownBranch 78 CaseElim 1 CaseIdentity 43 FillInCaseDefault 33 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 ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 24 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 ==================== Grand total simplifier statistics ==================== Total ticks: 1639 342 PreInlineUnconditionally 443 PostInlineUnconditionally 128 UnfoldingDone 58 RuleFired 4 SC:$s$wunfold_unstream0 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 483 BetaReduction 11 CaseOfCase 125 KnownBranch 12 CaseElim 5 FillInCaseDefault 33 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 ==================== FloatOut stats: ==================== 1 Lets floated to top level; 0 Lets floated elsewhere; from 149 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 160 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 164 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 10787 2495 PreInlineUnconditionally 2292 PostInlineUnconditionally 940 UnfoldingDone 265 RuleFired 2 SC:$s$wunfold_unstream0 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 5 SC:a_s1lNb0 2 SC:a_s1lOj0 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 250 LetFloatFromLet 9 EtaReduction 3329 BetaReduction 163 CaseOfCase 896 KnownBranch 72 CaseElim 76 FillInCaseDefault 42 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 32 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 32 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 810 138 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 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: ==================== 6 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 10 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 10 Lambda groups ==================== Grand total simplifier statistics ==================== Total ticks: 521 142 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 28 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: ==================== 49 Lets floated to top level; 0 Lets floated elsewhere; from 128 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 2 Lets floated elsewhere; from 128 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 139 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 1 Lets floated elsewhere; from 138 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 10156 2603 PreInlineUnconditionally 1872 PostInlineUnconditionally 879 UnfoldingDone 336 RuleFired 7 ++ -> 1st arg empty 2 ++ -> fused on 1st arg 9 ++ / : 2 ==#->case 3 SC:$s$s$wunfold_unstream0 2 SC:$s$wunfold_unstream0 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 131 LetFloatFromLet 9 EtaReduction 3413 BetaReduction 90 CaseOfCase 688 KnownBranch 66 CaseElim 69 FillInCaseDefault 67 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 ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups ==================== FloatOut stats: ==================== 0 Lets floated to top level; 0 Lets floated elsewhere; from 13 Lambda groups NOTE: Specialiser still going after 10 iterations; bailing out. ==================== Grand total simplifier statistics ==================== Total ticks: 4455 1483 PreInlineUnconditionally 113 PostInlineUnconditionally 123 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# 130 LetFloatFromLet 1 EtaReduction 1984 BetaReduction 9 CaseOfCase 36 KnownBranch 29 FillInCaseDefault 48 SimplifierDone Linking anna ... <>