+
+
+================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+MkBar{-r4H,x-}{i} =
+ _/\_ a{-r4B-} b{-r4C-} -> \ tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5 ->
+ MkBar{-r4H,x-}{i}
+ {_@_ a{-r4B-} _@_ b{-r4C-} tpl_B1 tpl_B2 tpl_B3 tpl_B4 tpl_B5}
+{- nonrec -}
+Foo1{-r4t,x-}{i} =
+ Foo1{-r4t,x-}{i}
+ {}
+Foo2{-r4s,x-}{i} =
+ Foo2{-r4s,x-}{i}
+ {}
+Foo3{-r4u,x-}{i} =
+ Foo3{-r4u,x-}{i}
+ {}
+Foo4{-r4v,x-}{i} =
+ Foo4{-r4v,x-}{i}
+ {}
+Foo5{-r4w,x-}{i} =
+ Foo5{-r4w,x-}{i}
+ {}
+Foo6{-r4x,x-}{i} =
+ Foo6{-r4x,x-}{i}
+ {}
+Foo7{-r4y,x-}{i} =
+ Foo7{-r4y,x-}{i}
+ {}
+Foo8{-r4z,x-}{i} =
+ Foo8{-r4z,x-}{i}
+ {}
+{- rec -}
+AbsBinds [] [] [([], $d1{-r193,x-}, d.Eq_a14i)]
+ ==_a19a =
+ ==_a199
+ AbsBinds [] [] [([], ==_a199, ==_a14l)]
+ ==_a14l
+ a_r10n b_r10p
+ = case
+ con2tag_Foo#_r101
+ a_r10n
+ of
+ a#_r10r -> case
+ con2tag_Foo#_r101
+ b_r10p
+ of
+ b#_r10t -> if a#_r10r GHC.==#{-79,p-}{I} b#_r10t then
+ PrelBase.True{-5E,p-}{i}
+ else
+ PrelBase.False{-58,p-}{i}
+ AbsBinds [] [] [([], /=_a198, /=_a14x)]
+ /=_a14x
+ a_r10x b_r10z
+ = PrelBase.not{-rho,p-}
+ ==_a19a
+ a_r10x b_r10z
+ d.Eq_a14i =
+ ({-dict-} [] [==_a199, /=_a198])
+{- rec -}
+AbsBinds
+[a{-a191-}, b{-a192-}]
+[]
+[([a{-a191-}, b{-a192-}], $d2{-r19b,x-}, d.Eval_a14N)]
+ d.Eval_a14N =
+ ({-dict-} [] [])
+{- rec -}
+AbsBinds [] [] [([], $d3{-r19c,x-}, d.Eval_a14S)]
+ d.Eval_a14S =
+ ({-dict-} [] [])
+{- rec -}
+AbsBinds [] [] [([], $d4{-r19d,x-}, d.Ord_a14X)]
+ d.Eq_a16H =
+ $d1{-r193,x-}
+ compare_a19q =
+ compare_a19k
+ compare_a19p =
+ compare_a19k
+ compare_a19o =
+ compare_a19k
+ compare_a19n =
+ compare_a19k
+ compare_a19m =
+ compare_a19k
+ compare_a19l =
+ compare_a19k
+ AbsBinds [] [] [([], compare_a19k, compare_a150)]
+ compare_a150
+ a_r11y b_r11A
+ = case
+ con2tag_Foo#_r101
+ a_r11y
+ of
+ a#_r11G -> case
+ con2tag_Foo#_r101
+ b_r11A
+ of
+ b#_r11I -> if a#_r11G GHC.==#{-79,p-}{I} b#_r11I then
+ PrelBase.EQ{-rbX,p-}{i}
+ else
+ if a#_r11G GHC.<#{-7b,p-}{I} b#_r11I then
+ PrelBase.LT{-rbY,p-}{i}
+ else
+ PrelBase.GT{-rbZ,p-}{i}
+ where
+ {- nonrec -}
+ AbsBinds
+ [t{-a15e-}, t{-a15g-}]
+ []
+ [([t{-a15e-}, t{-a15g-}], cmp_eq_r11C, cmp_eq_a154)]
+ cmp_eq_a154
+ _ _ = PrelBase.EQ{-rbX,p-}{i}
+ {- nonrec -}
+ AbsBinds [] [] [([], <_a19j, <_a15q)]
+ <_a15q
+ a_r10G b_r10I
+ = case
+ compare_a19q
+ a_r10G b_r10I
+ of
+ PrelBase.LT{-rbY,p-}{i}
+ -> PrelBase.True{-5E,p-}{i}
+ PrelBase.EQ{-rbX,p-}{i}
+ -> PrelBase.False{-58,p-}{i}
+ PrelBase.GT{-rbZ,p-}{i}
+ -> PrelBase.False{-58,p-}{i}
+ AbsBinds [] [] [([], <=_a19i, <=_a15D)]
+ <=_a15D
+ a_r10P b_r10R
+ = case
+ compare_a19p
+ a_r10P b_r10R
+ of
+ PrelBase.LT{-rbY,p-}{i}
+ -> PrelBase.True{-5E,p-}{i}
+ PrelBase.EQ{-rbX,p-}{i}
+ -> PrelBase.True{-5E,p-}{i}
+ PrelBase.GT{-rbZ,p-}{i}
+ -> PrelBase.False{-58,p-}{i}
+ AbsBinds [] [] [([], >=_a19h, >=_a15Q)]
+ >=_a15Q
+ a_r10Y b_r110
+ = case
+ compare_a19o
+ a_r10Y b_r110
+ of
+ PrelBase.LT{-rbY,p-}{i}
+ -> PrelBase.False{-58,p-}{i}
+ PrelBase.EQ{-rbX,p-}{i}
+ -> PrelBase.True{-5E,p-}{i}
+ PrelBase.GT{-rbZ,p-}{i}
+ -> PrelBase.True{-5E,p-}{i}
+ AbsBinds [] [] [([], >_a19g, >_a163)]
+ >_a163
+ a_r117 b_r119
+ = case
+ compare_a19n
+ a_r117 b_r119
+ of
+ PrelBase.LT{-rbY,p-}{i}
+ -> PrelBase.False{-58,p-}{i}
+ PrelBase.EQ{-rbX,p-}{i}
+ -> PrelBase.False{-58,p-}{i}
+ PrelBase.GT{-rbZ,p-}{i}
+ -> PrelBase.True{-5E,p-}{i}
+ AbsBinds [] [] [([], max_a19f, max_a16g)]
+ max_a16g
+ a_r11g b_r11i
+ = case
+ compare_a19m
+ a_r11g b_r11i
+ of
+ PrelBase.LT{-rbY,p-}{i}
+ -> b_r11i
+ PrelBase.EQ{-rbX,p-}{i}
+ -> a_r11g
+ PrelBase.GT{-rbZ,p-}{i}
+ -> a_r11g
+ AbsBinds [] [] [([], min_a19e, min_a16v)]
+ min_a16v
+ a_r11p b_r11r
+ = case
+ compare_a19l
+ a_r11p b_r11r
+ of
+ PrelBase.LT{-rbY,p-}{i}
+ -> a_r11p
+ PrelBase.EQ{-rbX,p-}{i}
+ -> b_r11r
+ PrelBase.GT{-rbZ,p-}{i}
+ -> b_r11r
+ d.Ord_a14X =
+ ({-dict-}
+ [d.Eq_a16H]
+ [compare_a19k, <_a19j, <=_a19i, >=_a19h, >_a19g, max_a19f, min_a19e])
+{- rec -}
+AbsBinds [] [] [([], $d5{-r19r,x-}, d.Show_a16O)]
+ showsPrec_a19u =
+ showsPrec_a19t
+ AbsBinds [] [] [([], showsPrec_a19t, showsPrec_a16R)]
+ showsPrec_a16R
+ a_r11N Foo1{-r4t,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo1"
+ showsPrec_a16R
+ a_r11Q Foo2{-r4s,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo2"
+ showsPrec_a16R
+ a_r11T Foo3{-r4u,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo3"
+ showsPrec_a16R
+ a_r11W Foo4{-r4v,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo4"
+ showsPrec_a16R
+ a_r11Z Foo5{-r4w,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo5"
+ showsPrec_a16R
+ a_r122 Foo6{-r4x,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo6"
+ showsPrec_a16R
+ a_r125 Foo7{-r4y,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo7"
+ showsPrec_a16R
+ a_r128 Foo8{-r4z,x-}{i}
+ = PrelBase.showString{-rjF,p-}
+ "Foo8"
+ AbsBinds [] [] [([], showList_a19s, showList_a173)]
+ showList_a173
+ = PrelBase.showList__{-r4G,p-}
+ Foo{-r4J,x-}
+ showsPrec_a19u
+ lit_a196
+ d.Show_a16O =
+ ({-dict-} [] [showsPrec_a19t, showList_a19s])
+{- rec -}
+AbsBinds [] [] [([], $d6{-r19v,x-}, d.Ix_a17k)]
+ d.Show_a18G =
+ $d5{-r19r,x-}
+ d.Ord_a18H =
+ $d4{-r19d,x-}
+ inRange_a19z =
+ inRange_a19w
+ AbsBinds [] [] [([], range_a19y, range_a17n)]
+ range_a17n
+ (a_r12g, b_r12h)
+ = case
+ con2tag_Foo#_r101
+ a_r12g
+ of
+ a#_r12j -> case
+ con2tag_Foo#_r101
+ b_r12h
+ of
+ b#_r12l -> map_a195
+ [PrelBase.Int{-3g,p-}, Foo{-r4J,x-}]
+ tag2con_Foo#_rZZ
+ enumFromTo_a194
+ PrelBase.I#{-5b,p-}{i}
+ a#_r12j
+ PrelBase.I#{-5b,p-}{i}
+ b#_r12l
+ AbsBinds [] [] [([], index_a19x, index_a17V)]
+ index_a17V
+ (c_r12p@(a_r12q, b_r12r)) d_r12t
+ = if inRange_a19z
+ c_r12p d_r12t then
+ case
+ con2tag_Foo#_r101
+ a_r12q
+ of
+ a#_r12v -> case
+ con2tag_Foo#_r101
+ d_r12t
+ of
+ d#_r12x -> case d#_r12x GHC.-#{-7E,p-}{I} a#_r12v of
+ c_r12z -> PrelBase.I#{-5b,p-}{i}
+ c_r12z
+ else
+ IOBase.error{-87,p-}
+ PrelBase.Int{-3g,p-}
+ "Ix.Foo.index: out of range\n"
+ AbsBinds [] [] [([], inRange_a19w, inRange_a18o)]
+ inRange_a18o
+ (a_r12D, b_r12E) c_r12G
+ = case
+ con2tag_Foo#_r101
+ a_r12D
+ of
+ a#_r12I -> case
+ con2tag_Foo#_r101
+ b_r12E
+ of
+ b#_r12K -> case
+ con2tag_Foo#_r101
+ c_r12G
+ of
+ c#_r12M -> if c#_r12M
+ GHC.>=#{-78,p-}{I} a#_r12I then
+ c#_r12M
+ GHC.<=#{-7c,p-}{I} b#_r12K
+ else
+ PrelBase.False{-58,p-}{i}
+ d.Ix_a17k =
+ ({-dict-}
+ [d.Show_a18G, d.Ord_a18H]
+ [range_a19y, index_a19x, inRange_a19w])
+{- nonrec -}
+d.Num_a18U =
+ PrelBase.$d3{-rdj,p-}
+fromInt_a197 =
+ PrelBase.fromInt{-8R,p-}
+ PrelBase.Int{-3g,p-}
+ d.Num_a18U
+lit_a196 =
+ fromInt_a197
+ PrelBase.I#{-5b,p-}{i}
+ 0#
+d.Functor_a18X =
+ PrelBase.$d25{-rde,p-}
+map_a195 =
+ PrelBase.map{-reK,p-}
+ PrelBase.[]{-3j,p-}
+ d.Functor_a18X
+d.Enum_a190 =
+ PrelBase.$d5{-rdF,p-}
+enumFromTo_a194 =
+ PrelBase.enumFromTo{-8W,p-}
+ PrelBase.Int{-3g,p-}
+ d.Enum_a190
+{- nonrec -}
+AbsBinds [] [] [([], con2tag_Foo#_r101, con2tag_Foo#_a141)]
+ con2tag_Foo#_a141
+ Foo1{-r4t,x-}{i}
+ = 0#
+ con2tag_Foo#_a141
+ Foo2{-r4s,x-}{i}
+ = 1#
+ con2tag_Foo#_a141
+ Foo3{-r4u,x-}{i}
+ = 2#
+ con2tag_Foo#_a141
+ Foo4{-r4v,x-}{i}
+ = 3#
+ con2tag_Foo#_a141
+ Foo5{-r4w,x-}{i}
+ = 4#
+ con2tag_Foo#_a141
+ Foo6{-r4x,x-}{i}
+ = 5#
+ con2tag_Foo#_a141
+ Foo7{-r4y,x-}{i}
+ = 6#
+ con2tag_Foo#_a141
+ Foo8{-r4z,x-}{i}
+ = 7#
+{- nonrec -}
+{- nonrec -}
+AbsBinds [] [] [([], maxtag_Foo#_r100, maxtag_Foo#_a145)]
+ maxtag_Foo#_a145
+ = PrelBase.I#{-5b,p-}{i}
+ 7#
+{- nonrec -}
+{- nonrec -}
+AbsBinds [] [] [([], tag2con_Foo#_rZZ, tag2con_Foo#_a149)]
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 0#)
+ = Foo1{-r4t,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 1#)
+ = Foo2{-r4s,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 2#)
+ = Foo3{-r4u,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 3#)
+ = Foo4{-r4v,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 4#)
+ = Foo5{-r4w,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 5#)
+ = Foo6{-r4x,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 6#)
+ = Foo7{-r4y,x-}{i}
+ tag2con_Foo#_a149
+ (PrelBase.I#{-5b,p-}{i} 7#)
+ = Foo8{-r4z,x-}{i}
+ tag2con_Foo#_a149
+ _ = IOBase.error{-87,p-}
+ Foo{-r4J,x-}
+ "Urk! in TcGenDeriv"
+{- nonrec -}
+
+NOTE: Simplifier still going after 4 iterations; bailing out.
+ghc: module version changed to 1; reason: no old .hi file
projects / ghc-hetmet.git / blobdiff