+
==================== Typechecked ====================
-MkFoo1{-rk,x-}{i} =
- _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
- MkFoo1{-rk,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
-:##{-rj,x-}{i} =
- _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
- :##{-rj,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
-MkFoo3{-rm,x-}{i} =
- _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
- MkFoo3{-rm,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
-:***{-ro,x-}{i} =
- _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
- :***{-ro,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
-AbsBinds [taHU] [d.Bar_aHX] [([taHU], f3d{-r4o,x-}, f3d_aTh)]
- /////_aTi = /////{-r4B,x-} taHU d.Bar_aHX
- f3d_aTh x_r48 y_r49 = x_r48 /////_aTi y_r49
-AbsBinds [taIe] [d.Bar_aIh] [([taIe], f3c{-r4p,x-}, f3c_aTn)]
- /////_aTo = /////{-r4B,x-} taIe d.Bar_aIh
- f3c_aTn x_r45 y_r46 = /////_aTo x_r45 y_r46
-AbsBinds [taIy] [d.Bar_aIB] [([taIy], f3b{-r4q,x-}, f3b_aTp)]
- meth1_aTq = meth1{-r4C,x-} taIy d.Bar_aIB
- f3b_aTp x_r42 y_r43 = x_r42 meth1_aTq y_r43
-AbsBinds [taIS] [d.Bar_aIV] [([taIS], f3a{-r4r,x-}, f3a_aTr)]
- meth1_aTs = meth1{-r4C,x-} taIS d.Bar_aIV
- f3a_aTr x_r3Z y_r40 = meth1_aTs x_r3Z y_r40
+Print002.MkFoo1{-ro-} =
+ _/\_ a_tr4H
+ b_tr4I
+ c_tr4J -> \ x1_B1
+ x2_B2 ->
+ Print002.MkFoo1{-ro-} {_@_ a_tr4H
+ _@_ b_tr4I
+ _@_ c_tr4J
+ x1_B1
+ x2_B2}
+Print002.:##{-rn-} =
+ _/\_ a_tr4H
+ b_tr4I
+ c_tr4J -> \ x1_B1
+ x2_B2 ->
+ Print002.:##{-rn-} {_@_ a_tr4H _@_ b_tr4I _@_ c_tr4J x1_B1 x2_B2}
+Print002.MkFoo3{-rq-} =
+ _/\_ a_tr4H
+ b_tr4I
+ c_tr4J -> \ x1_B1
+ x2_B2 ->
+ Print002.MkFoo3{-rq-} {_@_ a_tr4H
+ _@_ b_tr4I
+ _@_ c_tr4J
+ x1_B1
+ x2_B2}
+Print002.:***{-rs-} =
+ _/\_ a_tr4H
+ b_tr4I
+ c_tr4J -> \ x1_B1
+ x2_B2 ->
+ Print002.:***{-rs-} {_@_ a_tr4H _@_ b_tr4I _@_ c_tr4J x1_B1 x2_B2}
+AbsBinds [aQU] [d.Bar_aQY] [([aQU], Print002.f3d{-r4L-}, f3d_a13B)]
+ /////_a13C = Print002./////{-r4t-} aQU d.Bar_aQY
+ f3d_a13B x_r4v y_r4w = x_r4v /////_a13C y_r4w
+AbsBinds [aRf] [d.Bar_aRj] [([aRf], Print002.f3c{-r4M-}, f3c_a13H)]
+ /////_a13I = Print002./////{-r4t-} aRf d.Bar_aRj
+ f3c_a13H x_r4r y_r4s = /////_a13I x_r4r y_r4s
+AbsBinds [aRA] [d.Bar_aRE] [([aRA], Print002.f3b{-r4N-}, f3b_a13J)]
+ meth1_a13K = Print002.meth1{-r4m-} aRA d.Bar_aRE
+ f3b_a13J x_r4o y_r4p = x_r4o meth1_a13K y_r4p
+AbsBinds [aRV] [d.Bar_aRZ] [([aRV], Print002.f3a{-r4O-}, f3a_a13L)]
+ meth1_a13M = Print002.meth1{-r4m-} aRV d.Bar_aRZ
+ f3a_a13L x_r4k y_r4l = meth1_a13M x_r4k y_r4l
AbsBinds
-[taJm, taJo, taJq]
+[aSq, aSs, aSu]
[]
-[([taJm, taJo, taJq], <<<<{-r4s,x-}, <<<<_aTt)]
- <<<<_aTt x_r3T y_r3U
- = :***{-ro,x-}{i} [taJm, taJo, taJq] x_r3T y_r3U
- <<<<_aTt x_r3W y_r3X
- = :***{-ro,x-}{i} [taJm, taJo, taJq] x_r3W y_r3X
+[([aSq, aSs, aSu], Print002.<<<<{-r4P-}, <<<<_a13N)]
+ <<<<_a13N x_r4e y_r4f
+ = Print002.:***{-rs-} [aSq, aSs, aSu] x_r4e y_r4f
+ <<<<_a13N x_r4h y_r4i
+ = Print002.:***{-rs-} [aSq, aSs, aSu] x_r4h y_r4i
AbsBinds
-[taJH, taJJ, taJL]
+[aSL, aSN, aSP]
[]
-[([taJH, taJJ, taJL], .....{-r4t,x-}, ....._aTu)]
- ....._aTu x_r3Q y_r3R
- = MkFoo3{-rm,x-}{i} [taJH, taJJ, taJL] x_r3Q y_r3R
+[([aSL, aSN, aSP], Print002......{-r4Q-}, ....._a13O)]
+ ....._a13O x_r4b y_r4c
+ = Print002.MkFoo3{-rq-} [aSL, aSN, aSP] x_r4b y_r4c
AbsBinds
-[taK2, taK4, taK6]
+[aT6, aT8, aTa]
[]
-[([taK2, taK4, taK6], ....{-r4u,x-}, ...._aTv)]
- ...._aTv x_r3N y_r3O
- = MkFoo3{-rm,x-}{i} [taK2, taK4, taK6] x_r3N y_r3O
+[([aT6, aT8, aTa], Print002.....{-r4R-}, ...._a13P)]
+ ...._a13P x_r48 y_r49
+ = Print002.MkFoo3{-rq-} [aT6, aT8, aTa] x_r48 y_r49
AbsBinds
-[taKn, taKp, taKr]
+[aTr, aTt, aTv]
[]
-[([taKn, taKp, taKr], f2a{-r4v,x-}, f2a_aTw)]
- f2a_aTw x_r3K y_r3L = :##{-rj,x-}{i} [taKn, taKp, taKr] x_r3K y_r3L
+[([aTr, aTt, aTv], Print002.f2a{-r4S-}, f2a_a13Q)]
+ f2a_a13Q x_r45 y_r46
+ = Print002.:##{-rn-} [aTr, aTt, aTv] x_r45 y_r46
AbsBinds
-[taKI, taKK, taKM]
+[aTM, aTO, aTQ]
[]
-[([taKI, taKK, taKM], f2{-r4w,x-}, f2_aTx)]
- f2_aTx x_r3H y_r3I = :##{-rj,x-}{i} [taKI, taKK, taKM] x_r3H y_r3I
+[([aTM, aTO, aTQ], Print002.f2{-r4T-}, f2_a13R)]
+ f2_a13R x_r42 y_r43
+ = Print002.:##{-rn-} [aTM, aTO, aTQ] x_r42 y_r43
AbsBinds
-[taL3, taL5, taL7]
+[aU7, aU9, aUb]
[]
-[([taL3, taL5, taL7], f1a{-r4x,x-}, f1a_aTy)]
- f1a_aTy x_r3E y_r3F
- = MkFoo1{-rk,x-}{i} [taL3, taL5, taL7] x_r3E y_r3F
+[([aU7, aU9, aUb], Print002.f1a{-r4U-}, f1a_a13S)]
+ f1a_a13S x_r3Z y_r40
+ = Print002.MkFoo1{-ro-} [aU7, aU9, aUb] x_r3Z y_r40
AbsBinds
-[taLo, taLq, taLs]
+[aUs, aUu, aUw]
[]
-[([taLo, taLq, taLs], f1{-r4y,x-}, f1_aTz)]
- f1_aTz x_r3B y_r3C
- = MkFoo1{-rk,x-}{i} [taLo, taLq, taLs] x_r3B y_r3C
+[([aUs, aUu, aUw], Print002.f1{-r4V-}, f1_a13T)]
+ f1_a13T x_r3W y_r3X
+ = Print002.MkFoo1{-ro-} [aUs, aUu, aUw] x_r3W y_r3X
AbsBinds
-[taM9, taMc, taMd]
+[aVd, aVg, aVh]
[]
-[([taM9, taMc, taMd], con2tag_Foo#_rF7, con2tag_Foo#_aTA)]
- con2tag_Foo#_aTA (MkFoo1{-rk,x-}{i} _ _) = 0#
- con2tag_Foo#_aTA (:##{-rj,x-}{i} _ _) = 1#
- con2tag_Foo#_aTA (MkFoo3{-rm,x-}{i} _ _) = 2#
- con2tag_Foo#_aTA (:***{-ro,x-}{i} _ _) = 3#
+[([aVd, aVg, aVh], con2tag_Foo#_rOp, con2tag_Foo#_a13U)]
+ con2tag_Foo#_a13U (Print002.MkFoo1{-ro-} _ _) = 0#
+ con2tag_Foo#_a13U (Print002.:##{-rn-} _ _) = 1#
+ con2tag_Foo#_a13U (Print002.MkFoo3{-rq-} _ _) = 2#
+ con2tag_Foo#_a13U (Print002.:***{-rs-} _ _) = 3#
AbsBinds
-[taMv, taMy, taMB]
-[d.Eq_aOm, d.Eq_aOn, d.Eq_aOo]
-[([taMv, taMy, taMB], $d1{-rTm,x-}, d.Eq_aMl)]
- d.Eq_aOs = d.Eq_aOm
- ==_aTG = PrelBase.=={-8Z,p-} taMv d.Eq_aOs
- d.Eq_aOu = d.Eq_aOn
- ==_aTF = PrelBase.=={-8Z,p-} taMy d.Eq_aOu
- d.Eq_aOw = d.Eq_aOo
- ==_aTE = PrelBase.=={-8Z,p-} taMB d.Eq_aOw
- ==_aTD = ==_aTC
- AbsBinds [] [] [([], ==_aTC, ==_aTH)]
- ==_aTM = ==_aTG
- ==_aTL = ==_aTF
- ==_aTK = ==_aTF
- ==_aTJ = ==_aTE
- ==_aTI = ==_aTE
- ==_aTH (MkFoo1{-rk,x-}{i} a1_rFg a2_rFh)
- (MkFoo1{-rk,x-}{i} b1_rFi b2_rFj)
- = (a1_rFg ==_aTG b1_rFi)
- PrelBase.&&{-rfg,p-} (a2_rFh ==_aTM b2_rFj)
- ==_aTH (:##{-rj,x-}{i} a1_rFl a2_rFm)
- (:##{-rj,x-}{i} b1_rFn b2_rFo)
- = (a1_rFl ==_aTF b1_rFn)
- PrelBase.&&{-rfg,p-} (a2_rFm ==_aTE b2_rFo)
- ==_aTH (MkFoo3{-rm,x-}{i} a1_rFq a2_rFr)
- (MkFoo3{-rm,x-}{i} b1_rFs b2_rFt)
- = (a1_rFq ==_aTL b1_rFs)
- PrelBase.&&{-rfg,p-} (a2_rFr ==_aTK b2_rFt)
- ==_aTH (:***{-ro,x-}{i} a1_rFv a2_rFw)
- (:***{-ro,x-}{i} b1_rFx b2_rFy)
- = (a1_rFv ==_aTJ b1_rFx)
- PrelBase.&&{-rfg,p-} (a2_rFw ==_aTI b2_rFy)
- ==_aTH a_rFA b_rFB = PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], /=_aTB, /=_aTN)]
- /=_aTN a_rFF b_rFG = PrelBase.not{-rga,p-} ==_aTD a_rFF b_rFG
- d.Eq_aMl = ({-dict-} [] [==_aTC, /=_aTB])
+[a_taVs, b_taVt, c_taVu]
+[d.Eq_aXB, d.Eq_aXC, d.Eq_aXD]
+[([a_taVs, b_taVt, c_taVu], Print002.$dEqFoo0{-r13G-}, d.Eq_aVp)]
+ ==_a13h = ==_aVH
+ ==_a13f = PrelBase.=={-8X-} c_taVu d.Eq_aXO
+ ==_a13g = ==_a13f
+ ==_a13e = ==_a13f
+ ==_a13c = PrelBase.=={-8X-} b_taVt d.Eq_aXQ
+ ==_a13d = ==_a13c
+ ==_a13b = ==_a13c
+ ==_a13a = PrelBase.=={-8X-} a_taVs d.Eq_aXS
+ ==_a139 = ==_a13a
+ d.Eq_aXO = d.Eq_aXD
+ d.Eq_aXQ = d.Eq_aXC
+ d.Eq_aXS = d.Eq_aXB
+ AbsBinds [] [] [([], /=_aVr, /=_a13V)]
+ /=_a13V a_rOT b_rOU = PrelBase.not{-rhG-} ==_a13h a_rOT b_rOU
+ AbsBinds [] [] [([], ==_aVH, ==_a13W)]
+ ==_a13W (Print002.MkFoo1{-ro-} a1_rOw a2_rOx)
+ (Print002.MkFoo1{-ro-} b1_rOy b2_rOz)
+ = (a1_rOw ==_a13a b1_rOy)
+ PrelBase.&&{-rgy-} (a2_rOx ==_a139 b2_rOz)
+ ==_a13W (Print002.:##{-rn-} a1_rOB a2_rOC)
+ (Print002.:##{-rn-} b1_rOD b2_rOE)
+ = (a1_rOB ==_a13b b1_rOD)
+ PrelBase.&&{-rgy-} (a2_rOC ==_a13e b2_rOE)
+ ==_a13W (Print002.MkFoo3{-rq-} a1_rOG a2_rOH)
+ (Print002.MkFoo3{-rq-} b1_rOI b2_rOJ)
+ = (a1_rOG ==_a13c b1_rOI)
+ PrelBase.&&{-rgy-} (a2_rOH ==_a13d b2_rOJ)
+ ==_a13W (Print002.:***{-rs-} a1_rOL a2_rOM)
+ (Print002.:***{-rs-} b1_rON b2_rOO)
+ = (a1_rOL ==_a13f b1_rON)
+ PrelBase.&&{-rgy-} (a2_rOM ==_a13g b2_rOO)
+ ==_a13W a_rOQ b_rOR = PrelBase.False{-58-}
+ d.Eq_aVp =
+ PrelBase.:Eq{-r17-} (Print002.Foo{-r52-} a_taVs b_taVt c_taVu)
+ /=_aVr
+ ==_aVH
AbsBinds
-[taTc, taTe, taTd]
+[a_ta13i, b_ta13k, c_ta13j]
[]
-[([taTc, taTe, taTd], $d2{-rTl,x-}, d.Eval_aOH)]
- d.Eval_aOH = ({-dict-} [] [])
+[([a_ta13i, b_ta13k, c_ta13j],
+ Print002.$dEvalFoo0{-r13F-},
+ d.Eval_aY3)]
+ d.Eval_aY3 =
+ PrelErr.error{-87-}
+ {PrelBase.Eval{-24-} (Print002.Foo{-r52-} a_ta13i b_ta13k c_ta13j)} "Compiler error: bad dictionary Eval"
AbsBinds
-[taOV, taOW, taOX]
-[d.Ord_aSP, d.Ord_aSQ, d.Ord_aSR, d.Eq_aSS]
-[([taOV, taOW, taOX], $d3{-rTk,x-}, d.Ord_aOP)]
- d.Eq_aST = d.Eq_aSS
- d.Ord_aRD = d.Ord_aSP
- d.Ord_aRE = d.Ord_aSQ
- d.Ord_aRF = d.Ord_aSR
- compare_aU0 = compare_aTU
- compare_aTZ = compare_aTU
- compare_aTY = compare_aTU
- compare_aTX = compare_aTU
- compare_aTW = compare_aTU
- compare_aTV = compare_aTU
- AbsBinds [] [] [([], compare_aTU, compare_aU1)]
- compare_aU1 a_rGy b_rGz
- = case con2tag_Foo#_rF7 [taOX, taOV, taOW] a_rGy of
- a#_rHm
- -> case con2tag_Foo#_rF7 [taOX, taOV, taOW] b_rGz of
- b#_rHo
- -> if a#_rHm GHC.==#{-79,w-}{I} b#_rHo then
- case cmp_eq_aU2 a_rGy b_rGz of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- else
- if a#_rHm GHC.<#{-7b,w-}{I} b#_rHo then
- PrelBase.LT{-ram,p-}{i}
- else
- PrelBase.GT{-ran,p-}{i}
- where
- {- nonrec -}
- AbsBinds
- [taQP, taQQ, taQX]
- [d.Ord_aR5, d.Ord_aR7, d.Ord_aR9]
- [([taQP, taQQ, taQX], cmp_eq_rGB, cmp_eq_aU3)]
- compare_aUb = PrelBase.compare{-rft,p-} taQP d.Ord_aR5
- compare_aUa = compare_aUb
- compare_aU9 = PrelBase.compare{-rft,p-} taQQ d.Ord_aR7
- compare_aU8 = PrelBase.compare{-rft,p-} taQX d.Ord_aR9
- compare_aU7 = compare_aU9
- compare_aU6 = compare_aU9
- compare_aU5 = compare_aU8
- compare_aU4 = compare_aU8
- cmp_eq_aU3 (MkFoo1{-rk,x-}{i} a1_rGD a2_rGE)
- (MkFoo1{-rk,x-}{i} b1_rGF b2_rGG)
- = case compare_aUb a1_rGD b1_rGF of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aUa a2_rGE b2_rGG of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- cmp_eq_aU3 (:##{-rj,x-}{i} a1_rGO a2_rGP)
- (:##{-rj,x-}{i} b1_rGQ b2_rGR)
- = case compare_aU9 a1_rGO b1_rGQ of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aU8 a2_rGP b2_rGR of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- cmp_eq_aU3 (MkFoo3{-rm,x-}{i} a1_rGZ a2_rH0)
- (MkFoo3{-rm,x-}{i} b1_rH1 b2_rH2)
- = case compare_aU7 a1_rGZ b1_rH1 of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aU6 a2_rH0 b2_rH2 of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- cmp_eq_aU3 (:***{-ro,x-}{i} a1_rHa a2_rHb)
- (:***{-ro,x-}{i} b1_rHc b2_rHd)
- = case compare_aU5 a1_rHa b1_rHc of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aU4 a2_rHb b2_rHd of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
- cmp_eq_aU3 _ _
- = Error.error{-87,w-}
- PrelBase.Ordering{-3n,p-} "Urk! in TcGenDeriv"
- {- nonrec -}
- cmp_eq_aU2 =
- cmp_eq_rGB [taOV, taOW, taOX] [d.Ord_aRD, d.Ord_aRE, d.Ord_aRF]
- {- nonrec -}
- AbsBinds [] [] [([], <_aTT, <_aUc)]
- <_aUc a_rFM b_rFN
- = case compare_aU0 a_rFM b_rFN of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], <=_aTS, <=_aUd)]
- <=_aUd a_rFU b_rFV
- = case compare_aTZ a_rFU b_rFV of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], >=_aTR, >=_aUe)]
- >=_aUe a_rG2 b_rG3
- = case compare_aTY a_rG2 b_rG3 of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], >_aTQ, >_aUf)]
- >_aUf a_rGa b_rGb
- = case compare_aTX a_rGa b_rGb of
- PrelBase.LT{-ram,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.EQ{-r4n,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.GT{-ran,p-}{i} -> PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], max_aTP, max_aUg)]
- max_aUg a_rGi b_rGj
- = case compare_aTW a_rGi b_rGj of
- PrelBase.LT{-ram,p-}{i} -> b_rGj
- PrelBase.EQ{-r4n,p-}{i} -> a_rGi
- PrelBase.GT{-ran,p-}{i} -> a_rGi
- AbsBinds [] [] [([], min_aTO, min_aUh)]
- min_aUh a_rGq b_rGr
- = case compare_aTV a_rGq b_rGr of
- PrelBase.LT{-ram,p-}{i} -> a_rGq
- PrelBase.EQ{-r4n,p-}{i} -> b_rGr
- PrelBase.GT{-ran,p-}{i} -> b_rGr
- d.Ord_aOP =
- ({-dict-}
- [d.Eq_aST]
- [compare_aTU, <_aTT, <=_aTS, >=_aTR, >_aTQ, max_aTP, min_aTO])
-scsel_Bar2Print002Bar{-aTj,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [taTf] [d.Bar2_aT8] []
-meth1{-r4C,x-} =
- _/\_ t12 -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
- tpl_B1;}
-/////{-r4B,x-} =
- _/\_ t12 -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
- tpl_B2;}
-meth2{-r4A,x-} =
- _/\_ t12 -> \ tpl_B1 ->
- case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
- tpl_B3;}
-AbsBinds [taTg] [d.Bar_aTb] []
+[a_taYe, b_taYf, c_taYg]
+[d.Ord_a12F, d.Ord_a12H, d.Ord_a12I, d.Eq_a12J]
+[([a_taYe, b_taYf, c_taYg], Print002.$dOrdFoo0{-r13E-}, d.Ord_aYb)]
+ compare_a13q = compare_aZC
+ compare_a13p = compare_aZC
+ compare_a13o = compare_aZC
+ compare_a13n = compare_aZC
+ compare_a13m = compare_aZC
+ compare_a13l = compare_aZC
+ d.Ord_a12D = d.Ord_a12I
+ d.Ord_a12C = d.Ord_a12H
+ d.Ord_a12E = d.Ord_a12F
+ d.Eq_a12G = d.Eq_a12J
+ AbsBinds [] [] [([], min_aYd, min_a13X)]
+ min_a13X a_rPs b_rPt
+ = case compare_a13q a_rPs b_rPt of
+ PrelBase.LT{-rbj-} -> a_rPs
+ PrelBase.EQ{-r4K-} -> b_rPt
+ PrelBase.GT{-rbk-} -> b_rPt
+ AbsBinds [] [] [([], max_aYu, max_a13Y)]
+ max_a13Y a_rPm b_rPn
+ = case compare_a13p a_rPm b_rPn of
+ PrelBase.LT{-rbj-} -> b_rPn
+ PrelBase.EQ{-r4K-} -> a_rPm
+ PrelBase.GT{-rbk-} -> a_rPm
+ AbsBinds [] [] [([], >_aYI, >_a13Z)]
+ >_a13Z a_rPg b_rPh
+ = case compare_a13o a_rPg b_rPh of
+ PrelBase.LT{-rbj-} -> PrelBase.False{-58-}
+ PrelBase.EQ{-r4K-} -> PrelBase.False{-58-}
+ PrelBase.GT{-rbk-} -> PrelBase.True{-5D-}
+ AbsBinds [] [] [([], >=_aYW, >=_a140)]
+ >=_a140 a_rPa b_rPb
+ = case compare_a13n a_rPa b_rPb of
+ PrelBase.LT{-rbj-} -> PrelBase.False{-58-}
+ PrelBase.EQ{-r4K-} -> PrelBase.True{-5D-}
+ PrelBase.GT{-rbk-} -> PrelBase.True{-5D-}
+ AbsBinds [] [] [([], <=_aZa, <=_a141)]
+ <=_a141 a_rP4 b_rP5
+ = case compare_a13m a_rP4 b_rP5 of
+ PrelBase.LT{-rbj-} -> PrelBase.True{-5D-}
+ PrelBase.EQ{-r4K-} -> PrelBase.True{-5D-}
+ PrelBase.GT{-rbk-} -> PrelBase.False{-58-}
+ AbsBinds [] [] [([], <_aZo, <_a142)]
+ <_a142 a_rOY b_rOZ
+ = case compare_a13l a_rOY b_rOZ of
+ PrelBase.LT{-rbj-} -> PrelBase.True{-5D-}
+ PrelBase.EQ{-r4K-} -> PrelBase.False{-58-}
+ PrelBase.GT{-rbk-} -> PrelBase.False{-58-}
+ AbsBinds [] [] [([], compare_aZC, compare_a143)]
+ compare_a143 a_rPy b_rPz
+ = case con2tag_Foo#_rOp [c_taYg, a_taYe, b_taYf] a_rPy of
+ a#_rQm
+ -> case con2tag_Foo#_rOp [c_taYg, a_taYe, b_taYf] b_rPz of
+ b#_rQo
+ -> if a#_rQm PrelGHC.==#{-79-} b#_rQo then
+ case cmp_eq_a144 a_rPy b_rPz of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ else
+ if a#_rQm PrelGHC.<#{-7b-} b#_rQo then
+ PrelBase.LT{-rbj-}
+ else
+ PrelBase.GT{-rbk-}
+ where
+ {- rec -}
+ AbsBinds
+ [a11D, a11G, a11H]
+ [d.Ord_a125, d.Ord_a122, d.Ord_a11Z]
+ [([a11D, a11G, a11H], cmp_eq_rPB, cmp_eq_a145)]
+ compare_a13x = PrelBase.compare{-rh8-} a11H d.Ord_a125
+ compare_a13y = compare_a13x
+ compare_a13w = compare_a13x
+ compare_a13v = PrelBase.compare{-rh8-} a11G d.Ord_a11Z
+ compare_a13u = compare_a13v
+ compare_a13s = PrelBase.compare{-rh8-} a11D d.Ord_a122
+ compare_a13t = compare_a13s
+ compare_a13r = compare_a13s
+ cmp_eq_a145 (Print002.MkFoo1{-ro-} a1_rPD a2_rPE)
+ (Print002.MkFoo1{-ro-} b1_rPF b2_rPG)
+ = case compare_a13u a1_rPD b1_rPF of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-}
+ -> case compare_a13v a2_rPE b2_rPG of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ cmp_eq_a145 (Print002.:##{-rn-} a1_rPO a2_rPP)
+ (Print002.:##{-rn-} b1_rPQ b2_rPR)
+ = case compare_a13x a1_rPO b1_rPQ of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-}
+ -> case compare_a13s a2_rPP b2_rPR of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ cmp_eq_a145 (Print002.MkFoo3{-rq-} a1_rPZ a2_rQ0)
+ (Print002.MkFoo3{-rq-} b1_rQ1 b2_rQ2)
+ = case compare_a13w a1_rPZ b1_rQ1 of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-}
+ -> case compare_a13y a2_rQ0 b2_rQ2 of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ cmp_eq_a145 (Print002.:***{-rs-} a1_rQa a2_rQb)
+ (Print002.:***{-rs-} b1_rQc b2_rQd)
+ = case compare_a13r a1_rQa b1_rQc of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-}
+ -> case compare_a13t a2_rQb b2_rQd of
+ PrelBase.LT{-rbj-} -> PrelBase.LT{-rbj-}
+ PrelBase.EQ{-r4K-} -> PrelBase.EQ{-r4K-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ PrelBase.GT{-rbk-} -> PrelBase.GT{-rbk-}
+ cmp_eq_a145 _ _
+ = PrelErr.error{-87-}
+ PrelBase.Ordering{-3p-} "Urk! in TcGenDeriv"
+ cmp_eq_a144 =
+ cmp_eq_rPB [c_taYg, a_taYe, b_taYf]
+ [d.Ord_a12C, d.Ord_a12D, d.Ord_a12E]
+ d.Ord_aYb =
+ PrelBase.:Ord{-r1o-} (Print002.Foo{-r52-} a_taYe b_taYf c_taYg)
+ d.Eq_a12G
+ min_aYd
+ max_aYu
+ >_aYI
+ >=_aYW
+ <=_aZa
+ <_aZo
+ compare_aZC
+Print002.Bar2_sc1{-a13D-} =
+ _/\_ a_tr4y -> \ x1_B1 ->
+ _coerce_ {Print002.Bar{-r4z-} a_tr4y} {Print002.Bar2{-r4Y-} a_tr4y}
+ x1_B1
+AbsBinds [a_ta13z] [d.Bar2_a134] []
+Print002.meth2{-r4Z-} =
+ _/\_ a_tr4B -> \ x1_B1 ->
+ case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x2_B2;}
+Print002./////{-r4t-} =
+ _/\_ a_tr4B -> \ x1_B1 ->
+ case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x3_B3;}
+Print002.meth1{-r4m-} =
+ _/\_ a_tr4B -> \ x1_B1 ->
+ case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x4_B4;}
+AbsBinds [a_ta13A] [d.Bar_a138] []
+
+
+Print002.hs:34:
+ Pattern match(es) are overlapped
+ in the definition of function `<<<<'
+ x y = ...
ghc: module version changed to 1; reason: no old .hi file
-_interface_ Print002 1
-_instance_modules_
-Addr ArrBase Foreign IO PrelBounded PrelNum
-_usages_
-PrelBase 1 :: $d12 1 $d13 1 $d2 1 $d26 1 $d28 1 $d29 1 $d31 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1;
-PrelNum 1 :: $d17 1 $d18 1;
_exports_
-Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(meth1 ///// meth2) Bar2 Foo(MkFoo1 :## MkFoo3 :***);
+Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(:Bar :Bar meth2 ///// meth1) Bar2(:Bar2 :Bar2) Foo(MkFoo1 :## MkFoo3 :***);
_instances_
-instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $d1;
-instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
-instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $d3;
+instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $dEqFoo0;
+instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $dEvalFoo0;
+instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $dOrdFoo0;
_declarations_
-1 $d1 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
-1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
-1 $d3 _:_ _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c, PrelBase.Eq (Foo a b c)} => {PrelBase.Ord (Foo a b c)} ;;
-1 .... _:_ _forall_ [ta tb tc] => tb -> tb -> Foo ta tb tc ;;
-1 ..... _:_ _forall_ [ta tb tc] => tb -> tb -> Foo ta tb tc ;;
-1 <<<< _:_ _forall_ [ta tb tc] => tc -> tc -> Foo ta tb tc ;;
-1 class Bar a where {meth1 :: a -> a -> PrelBase.Bool; ///// :: a -> a -> PrelBase.Bool; meth2 :: _forall_ [b] => a -> b -> PrelBase.Bool} ;
+1 $dEqFoo0 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
+1 $dEvalFoo0 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
+1 $dOrdFoo0 _:_ _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c, PrelBase.Eq (Foo a b c)} => {PrelBase.Ord (Foo a b c)} ;;
+1 .... _:_ _forall_ [a b c] => b -> b -> Foo a b c ;;
+1 ..... _:_ _forall_ [a b c] => b -> b -> Foo a b c ;;
+1 <<<< _:_ _forall_ [a b c] => c -> c -> Foo a b c ;;
+1 class Bar a where {meth2 :: _forall_ [b] => a -> b -> PrelBase.Bool; ///// :: a -> a -> PrelBase.Bool; meth1 :: a -> a -> PrelBase.Bool} ;
1 class {Bar a} => Bar2 a ;
1 data Foo a b c = MkFoo1 a a | :## b c | MkFoo3 b b | :*** c c ;
-1 f1 _:_ _forall_ [ta tb tc] => ta -> ta -> Foo ta tb tc ;;
-1 f1a _:_ _forall_ [ta tb tc] => ta -> ta -> Foo ta tb tc ;;
-1 f2 _:_ _forall_ [ta tb tc] => tb -> tc -> Foo ta tb tc ;;
-1 f2a _:_ _forall_ [ta tb tc] => tb -> tc -> Foo ta tb tc ;;
-1 f3a _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
-1 f3b _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
-1 f3c _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
-1 f3d _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
+1 f1 _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
+1 f1a _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
+1 f2 _:_ _forall_ [a b c] => b -> c -> Foo a b c ;;
+1 f2a _:_ _forall_ [a b c] => b -> c -> Foo a b c ;;
+1 f3a _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
+1 f3b _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
+1 f3c _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
+1 f3d _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
projects / ghc-hetmet.git / blobdiff