From 1af3ab62485ea53e687dd02d25abee2ee44da72c Mon Sep 17 00:00:00 2001 From: sof Date: Thu, 30 Apr 1998 20:37:20 +0000 Subject: [PATCH] [project @ 1998-04-30 20:36:58 by sof] 3.02 update --- ghc/tests/printing/should_compile/Makefile | 2 +- ghc/tests/printing/should_compile/Print001.stderr | 64 ++-- ghc/tests/printing/should_compile/Print002.stderr | 388 ++++++++++----------- ghc/tests/printing/should_compile/Print003.stderr | 5 +- ghc/tests/printing/should_compile/Print004.stderr | 111 +++--- ghc/tests/stranal/should_compile/Makefile | 2 +- ghc/tests/stranal/should_compile/str001.stderr | 12 - 7 files changed, 276 insertions(+), 308 deletions(-) diff --git a/ghc/tests/printing/should_compile/Makefile b/ghc/tests/printing/should_compile/Makefile index 4c6d9a7..7c72321 100644 --- a/ghc/tests/printing/should_compile/Makefile +++ b/ghc/tests/printing/should_compile/Makefile @@ -2,7 +2,7 @@ TOP = ../.. include $(TOP)/mk/boilerplate.mk include $(TOP)/mk/should_compile.mk -HC_OPTS += -noC -dcore-lint -hi -ddump-tc +HC_OPTS += -noC -dcore-lint -hi-with-declarations -hi-with-exports -hi-with-instances -hi-with-fixities -ddump-tc print002_HC_OPTS = -fno-implicit-prelude diff --git a/ghc/tests/printing/should_compile/Print001.stderr b/ghc/tests/printing/should_compile/Print001.stderr index eee5be4..56091e7 100644 --- a/ghc/tests/printing/should_compile/Print001.stderr +++ b/ghc/tests/printing/should_compile/Print001.stderr @@ -19,56 +19,48 @@ Print001.MkFoo{-r50-} = x2_B2 x3_B3} AbsBinds -[a_ta19e, b_ta19g] +[a_ta19O, b_ta19Q] [] -[([a_ta19e, b_ta19g], Print001.g{-r4W-}, g_a1aD)] - g_a1aD x_r56 = lit_a1aF +[([a_ta19O, b_ta19Q], Print001.g{-r4W-}, g_a1bd)] + g_a1bd x_r56 = lit_a1bf AbsBinds -[a_ta19y, b_ta19A, c_ta19C] -[d.Eq_a19H, d.Ord_a19I, d.Ix_a19J] -[([a_ta19y, b_ta19A, c_ta19C], Print001.f2{-r4X-}, f2_a1aM)] - f2_a1aM x_r54 = x_r54 +[a_ta1a8, b_ta1aa, c_ta1ac] +[d.Eq_a1ah, d.Ord_a1ai, d.Ix_a1aj] +[([a_ta1a8, b_ta1aa, c_ta1ac], Print001.f2{-r4X-}, f2_a1bm)] + f2_a1bm x_r54 = x_r54 AbsBinds -[a_ta19Y, b_ta1a0, c_ta1a2] -[d.Eq_a1a7] -[([a_ta19Y, b_ta1a0, c_ta1a2], Print001.f{-r4Y-}, f_a1aN)] - f_a1aN x_r52 = x_r52 +[a_ta1ay, b_ta1aA, c_ta1aC] +[d.Eq_a1aH] +[([a_ta1ay, b_ta1aA, c_ta1aC], Print001.f{-r4Y-}, f_a1bn)] + f_a1bn x_r52 = x_r52 AbsBinds -[a1ab, a1ad, a1af] +[a1aL, a1aN, a1aP] [] -[([a1ab, a1ad, a1af], Print001.mkFoo{-r4Z-}, mkFoo_a1aO)] - mkFoo_a1aO = Print001.MkFoo{-r50-} [a1ab, a1ad, a1af] +[([a1aL, a1aN, a1aP], Print001.mkFoo{-r4Z-}, mkFoo_a1bo)] + mkFoo_a1bo = Print001.MkFoo{-r50-} [a1aL, a1aN, a1aP] AbsBinds -[a_ta1az] +[a_ta1b9] [] -[([a_ta1az], Print001.$dEvalBar0{-r1aL-}, d.Eval_a1an)] - d.Eval_a1an = +[([a_ta1b9], Print001.$dEvalBar0{-r1bl-}, d.Eval_a1aX)] + d.Eval_a1aX = PrelErr.error{-87-} - {PrelBase.Eval{-24-} (Print001.Bar{-r5d-} a_ta1az)} "Compiler error: bad dictionary Eval" + {PrelBase.Eval{-24-} (Print001.Bar{-r5d-} a_ta1b9)} "Compiler error: bad dictionary Eval" AbsBinds -[d_ta1aA, e_ta1aC, f_ta1aB] +[d_ta1ba, e_ta1bc, f_ta1bb] [] -[([d_ta1aA, e_ta1aC, f_ta1aB], - Print001.$dEvalFoo0{-r1aK-}, - d.Eval_a1av)] - d.Eval_a1av = +[([d_ta1ba, e_ta1bc, f_ta1bb], + Print001.$dEvalFoo0{-r1bk-}, + d.Eval_a1b5)] + d.Eval_a1b5 = PrelErr.error{-87-} - {PrelBase.Eval{-24-} (Print001.Foo{-r5e-} d_ta1aA e_ta1aC f_ta1aB)} "Compiler error: bad dictionary Eval" -lit_a1aF = fromRational_a1aE 2.0 -fromRational_a1aE = - PrelNum.fromRational{-8S-} PrelBase.Float{-3c-} d.Fractional_a1ay -d.Fractional_a1ay = PrelNum.$dFractionalFloat0{-rGQ-} + {PrelBase.Eval{-24-} (Print001.Foo{-r5e-} d_ta1ba e_ta1bc f_ta1bb)} "Compiler error: bad dictionary Eval" +lit_a1bf = fromRational_a1be 2.0 +fromRational_a1be = + PrelNum.fromRational{-8S-} PrelBase.Float{-3c-} d.Fractional_a1b8 +d.Fractional_a1b8 = PrelNum.$dFractionalFloat0{-rGQ-} ghc: module version changed to 1; reason: no old .hi file -_interface_ Print001 1 302 -_instance_modules_ -IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum -_usages_ -Ix 1 :: $dIx2 1 $dIx3 1 $dIx4 1 $dIxBool0 1 $dIxChar0 1 $dIxInt0 1 $dIxOrdering0 1 Ix 1; -PrelBase 1 :: $dEnum0 1 $dEnumBool0 1 $dEnumChar0 1 $dEnumInt0 1 $dEnumOrdering0 1 $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalFloat0 1 $dEvalInt0 1 $dEvalInteger0 1 $dEvalOrdering0 1 $dNumInt0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdChar0 1 $dOrdInt0 1 $dOrdOrdering0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $dShowOrdering0 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1; -PrelNum 1 :: $dEnumDouble0 1 $dEnumFloat0 1 $dEnumInteger0 1 $dEnumRatio0 1 $dEqDouble0 1 $dEqFloat0 1 $dEqInteger0 1 $dEqRatio0 1 $dEvalRatio0 1 $dFractionalDouble0 1 $dFractionalFloat0 1 $dFractionalRatio0 1 $dIntegralInt0 1 $dIntegralInteger0 1 $dIxInteger0 1 $dNumDouble0 1 $dNumFloat0 1 $dNumInteger0 1 $dNumRatio0 1 $dOrdDouble0 1 $dOrdFloat0 1 $dOrdInteger0 1 $dOrdRatio0 1 $dRealDouble0 1 $dRealFloat0 1 $dRealInt0 1 $dRealInteger0 1 $dRealRatio0 1 $dShowDouble0 1 $dShowFloat0 1 $dShowInteger0 1 $dShowRatio0 1 $mdiv 1 $mdivMod 1 $mmod 1 $mquot 1 $mrecip 1 $mrem 1 Fractional 1 Integral 1 Ratio 1 Rational 1 Real 1; -PrelTup 1 :: $dEq0 1 $dEq1 1 $dEval0 1 $dEval1 1 $dOrd0 1 $dOrd1 1 $dShow2 1 $dShow3 1; _exports_ Print001 f f2 g mkFoo Bar(BarNil BarCon) Foo(MkFoo); _instances_ diff --git a/ghc/tests/printing/should_compile/Print002.stderr b/ghc/tests/printing/should_compile/Print002.stderr index 1c42a49..2cc6d00 100644 --- a/ghc/tests/printing/should_compile/Print002.stderr +++ b/ghc/tests/printing/should_compile/Print002.stderr @@ -32,258 +32,260 @@ Print002.:***{-rs-} = c_tr4J -> \ x1_B1 x2_B2 -> Print002.:***{-rs-} {_@_ a_tr4H _@_ b_tr4I _@_ c_tr4J x1_B1 x2_B2} -AbsBinds [aQk] [d.Bar_aQo] [([aQk], Print002.f3d{-r4L-}, f3d_a131)] - /////_a132 = Print002./////{-r4t-} aQk d.Bar_aQo - f3d_a131 x_r4v y_r4w = x_r4v /////_a132 y_r4w -AbsBinds [aQF] [d.Bar_aQJ] [([aQF], Print002.f3c{-r4M-}, f3c_a137)] - /////_a138 = Print002./////{-r4t-} aQF d.Bar_aQJ - f3c_a137 x_r4r y_r4s = /////_a138 x_r4r y_r4s -AbsBinds [aR0] [d.Bar_aR4] [([aR0], Print002.f3b{-r4N-}, f3b_a139)] - meth1_a13a = Print002.meth1{-r4m-} aR0 d.Bar_aR4 - f3b_a139 x_r4o y_r4p = x_r4o meth1_a13a y_r4p -AbsBinds [aRl] [d.Bar_aRp] [([aRl], Print002.f3a{-r4O-}, f3a_a13b)] - meth1_a13c = Print002.meth1{-r4m-} aRl d.Bar_aRp - f3a_a13b x_r4k y_r4l = meth1_a13c x_r4k y_r4l +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 -[aRQ, aRS, aRU] +[aSq, aSs, aSu] [] -[([aRQ, aRS, aRU], Print002.<<<<{-r4P-}, <<<<_a13d)] - <<<<_a13d x_r4e y_r4f - = Print002.:***{-rs-} [aRQ, aRS, aRU] x_r4e y_r4f - <<<<_a13d x_r4h y_r4i - = Print002.:***{-rs-} [aRQ, aRS, aRU] x_r4h y_r4i +[([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 -[aSb, aSd, aSf] +[aSL, aSN, aSP] [] -[([aSb, aSd, aSf], Print002......{-r4Q-}, ....._a13e)] - ....._a13e x_r4b y_r4c - = Print002.MkFoo3{-rq-} [aSb, aSd, aSf] x_r4b y_r4c +[([aSL, aSN, aSP], Print002......{-r4Q-}, ....._a13O)] + ....._a13O x_r4b y_r4c + = Print002.MkFoo3{-rq-} [aSL, aSN, aSP] x_r4b y_r4c AbsBinds -[aSw, aSy, aSA] +[aT6, aT8, aTa] [] -[([aSw, aSy, aSA], Print002.....{-r4R-}, ...._a13f)] - ...._a13f x_r48 y_r49 - = Print002.MkFoo3{-rq-} [aSw, aSy, aSA] x_r48 y_r49 +[([aT6, aT8, aTa], Print002.....{-r4R-}, ...._a13P)] + ...._a13P x_r48 y_r49 + = Print002.MkFoo3{-rq-} [aT6, aT8, aTa] x_r48 y_r49 AbsBinds -[aSR, aST, aSV] +[aTr, aTt, aTv] [] -[([aSR, aST, aSV], Print002.f2a{-r4S-}, f2a_a13g)] - f2a_a13g x_r45 y_r46 - = Print002.:##{-rn-} [aSR, aST, aSV] x_r45 y_r46 +[([aTr, aTt, aTv], Print002.f2a{-r4S-}, f2a_a13Q)] + f2a_a13Q x_r45 y_r46 + = Print002.:##{-rn-} [aTr, aTt, aTv] x_r45 y_r46 AbsBinds -[aTc, aTe, aTg] +[aTM, aTO, aTQ] [] -[([aTc, aTe, aTg], Print002.f2{-r4T-}, f2_a13h)] - f2_a13h x_r42 y_r43 - = Print002.:##{-rn-} [aTc, aTe, aTg] x_r42 y_r43 +[([aTM, aTO, aTQ], Print002.f2{-r4T-}, f2_a13R)] + f2_a13R x_r42 y_r43 + = Print002.:##{-rn-} [aTM, aTO, aTQ] x_r42 y_r43 AbsBinds -[aTx, aTz, aTB] +[aU7, aU9, aUb] [] -[([aTx, aTz, aTB], Print002.f1a{-r4U-}, f1a_a13i)] - f1a_a13i x_r3Z y_r40 - = Print002.MkFoo1{-ro-} [aTx, aTz, aTB] x_r3Z y_r40 +[([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 -[aTS, aTU, aTW] +[aUs, aUu, aUw] [] -[([aTS, aTU, aTW], Print002.f1{-r4V-}, f1_a13j)] - f1_a13j x_r3W y_r3X - = Print002.MkFoo1{-ro-} [aTS, aTU, aTW] x_r3W y_r3X +[([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 -[aUD, aUG, aUH] +[aVd, aVg, aVh] [] -[([aUD, aUG, aUH], con2tag_Foo#_rNP, con2tag_Foo#_a13k)] - con2tag_Foo#_a13k (Print002.MkFoo1{-ro-} _ _) = 0# - con2tag_Foo#_a13k (Print002.:##{-rn-} _ _) = 1# - con2tag_Foo#_a13k (Print002.MkFoo3{-rq-} _ _) = 2# - con2tag_Foo#_a13k (Print002.:***{-rs-} _ _) = 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 -[a_taUS, b_taUT, c_taUU] -[d.Eq_aX1, d.Eq_aX2, d.Eq_aX3] -[([a_taUS, b_taUT, c_taUU], Print002.$dEqFoo0{-r136-}, d.Eq_aUP)] - ==_a12H = ==_aV7 - ==_a12F = PrelBase.=={-8X-} c_taUU d.Eq_aXe - ==_a12G = ==_a12F - ==_a12E = ==_a12F - ==_a12C = PrelBase.=={-8X-} b_taUT d.Eq_aXg - ==_a12D = ==_a12C - ==_a12B = ==_a12C - ==_a12A = PrelBase.=={-8X-} a_taUS d.Eq_aXi - ==_a12z = ==_a12A - d.Eq_aXe = d.Eq_aX3 - d.Eq_aXg = d.Eq_aX2 - d.Eq_aXi = d.Eq_aX1 - AbsBinds [] [] [([], /=_aUR, /=_a13l)] - /=_a13l a_rOj b_rOk = PrelBase.not{-rhG-} ==_a12H a_rOj b_rOk - AbsBinds [] [] [([], ==_aV7, ==_a13m)] - ==_a13m (Print002.MkFoo1{-ro-} a1_rNW a2_rNX) - (Print002.MkFoo1{-ro-} b1_rNY b2_rNZ) - = (a1_rNW ==_a12A b1_rNY) - PrelBase.&&{-rgy-} (a2_rNX ==_a12z b2_rNZ) - ==_a13m (Print002.:##{-rn-} a1_rO1 a2_rO2) - (Print002.:##{-rn-} b1_rO3 b2_rO4) - = (a1_rO1 ==_a12B b1_rO3) - PrelBase.&&{-rgy-} (a2_rO2 ==_a12E b2_rO4) - ==_a13m (Print002.MkFoo3{-rq-} a1_rO6 a2_rO7) - (Print002.MkFoo3{-rq-} b1_rO8 b2_rO9) - = (a1_rO6 ==_a12C b1_rO8) - PrelBase.&&{-rgy-} (a2_rO7 ==_a12D b2_rO9) - ==_a13m (Print002.:***{-rs-} a1_rOb a2_rOc) - (Print002.:***{-rs-} b1_rOd b2_rOe) - = (a1_rOb ==_a12F b1_rOd) - PrelBase.&&{-rgy-} (a2_rOc ==_a12G b2_rOe) - ==_a13m a_rOg b_rOh = PrelBase.False{-58-} - d.Eq_aUP = - PrelBase.:Eq{-r17-} - (Print002.Foo{-r52-} a_taUS b_taUT c_taUU) /=_aUR ==_aV7 +[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 -[a_ta12I, b_ta12K, c_ta12J] +[a_ta13i, b_ta13k, c_ta13j] [] -[([a_ta12I, b_ta12K, c_ta12J], - Print002.$dEvalFoo0{-r135-}, - d.Eval_aXt)] - d.Eval_aXt = +[([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_ta12I b_ta12K c_ta12J)} "Compiler error: bad dictionary Eval" + {PrelBase.Eval{-24-} (Print002.Foo{-r52-} a_ta13i b_ta13k c_ta13j)} "Compiler error: bad dictionary Eval" AbsBinds -[a_taXE, b_taXF, c_taXG] -[d.Ord_a125, d.Ord_a127, d.Ord_a128, d.Eq_a129] -[([a_taXE, b_taXF, c_taXG], Print002.$dOrdFoo0{-r134-}, d.Ord_aXB)] - compare_a12Q = compare_aZ2 - compare_a12P = compare_aZ2 - compare_a12O = compare_aZ2 - compare_a12N = compare_aZ2 - compare_a12M = compare_aZ2 - compare_a12L = compare_aZ2 - d.Ord_a123 = d.Ord_a128 - d.Ord_a122 = d.Ord_a127 - d.Ord_a124 = d.Ord_a125 - d.Eq_a126 = d.Eq_a129 - AbsBinds [] [] [([], min_aXD, min_a13n)] - min_a13n a_rOS b_rOT - = case compare_a12Q a_rOS b_rOT of - PrelBase.LT{-rbj-} -> a_rOS - PrelBase.EQ{-r4K-} -> b_rOT - PrelBase.GT{-rbk-} -> b_rOT - AbsBinds [] [] [([], max_aXU, max_a13o)] - max_a13o a_rOM b_rON - = case compare_a12P a_rOM b_rON of - PrelBase.LT{-rbj-} -> b_rON - PrelBase.EQ{-r4K-} -> a_rOM - PrelBase.GT{-rbk-} -> a_rOM - AbsBinds [] [] [([], >_aY8, >_a13p)] - >_a13p a_rOG b_rOH - = case compare_a12O a_rOG b_rOH of +[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{-5E-} - AbsBinds [] [] [([], >=_aYm, >=_a13q)] - >=_a13q a_rOA b_rOB - = case compare_a12N a_rOA b_rOB of + 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{-5E-} - PrelBase.GT{-rbk-} -> PrelBase.True{-5E-} - AbsBinds [] [] [([], <=_aYA, <=_a13r)] - <=_a13r a_rOu b_rOv - = case compare_a12M a_rOu b_rOv of - PrelBase.LT{-rbj-} -> PrelBase.True{-5E-} - PrelBase.EQ{-r4K-} -> PrelBase.True{-5E-} + 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 [] [] [([], <_aYO, <_a13s)] - <_a13s a_rOo b_rOp - = case compare_a12L a_rOo b_rOp of - PrelBase.LT{-rbj-} -> PrelBase.True{-5E-} + 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_aZ2, compare_a13t)] - compare_a13t a_rOY b_rOZ - = case con2tag_Foo#_rNP [c_taXG, a_taXE, b_taXF] a_rOY of - a#_rPM - -> case con2tag_Foo#_rNP [c_taXG, a_taXE, b_taXF] b_rOZ of - b#_rPO - -> if a#_rPM PrelGHC.==#{-79-} b#_rPO then - case cmp_eq_a13u a_rOY b_rOZ of + 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#_rPM PrelGHC.<#{-7b-} b#_rPO then + if a#_rQm PrelGHC.<#{-7b-} b#_rQo then PrelBase.LT{-rbj-} else PrelBase.GT{-rbk-} where {- rec -} AbsBinds - [a113, a116, a117] - [d.Ord_a11v, d.Ord_a11s, d.Ord_a11p] - [([a113, a116, a117], cmp_eq_rP1, cmp_eq_a13v)] - compare_a12X = PrelBase.compare{-rh8-} a117 d.Ord_a11v - compare_a12Y = compare_a12X - compare_a12W = compare_a12X - compare_a12V = PrelBase.compare{-rh8-} a116 d.Ord_a11p - compare_a12U = compare_a12V - compare_a12S = PrelBase.compare{-rh8-} a113 d.Ord_a11s - compare_a12T = compare_a12S - compare_a12R = compare_a12S - cmp_eq_a13v (Print002.MkFoo1{-ro-} a1_rP3 a2_rP4) - (Print002.MkFoo1{-ro-} b1_rP5 b2_rP6) - = case compare_a12U a1_rP3 b1_rP5 of + [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_a12V a2_rP4 b2_rP6 of + -> 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_a13v (Print002.:##{-rn-} a1_rPe a2_rPf) - (Print002.:##{-rn-} b1_rPg b2_rPh) - = case compare_a12X a1_rPe b1_rPg of + 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_a12S a2_rPf b2_rPh of + -> 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_a13v (Print002.MkFoo3{-rq-} a1_rPp a2_rPq) - (Print002.MkFoo3{-rq-} b1_rPr b2_rPs) - = case compare_a12W a1_rPp b1_rPr of + 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_a12Y a2_rPq b2_rPs of + -> 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_a13v (Print002.:***{-rs-} a1_rPA a2_rPB) - (Print002.:***{-rs-} b1_rPC b2_rPD) - = case compare_a12R a1_rPA b1_rPC of + 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_a12T a2_rPB b2_rPD of + -> 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_a13v _ _ + cmp_eq_a145 _ _ = PrelErr.error{-87-} - PrelBase.Ordering{-3n-} "Urk! in TcGenDeriv" - cmp_eq_a13u = - cmp_eq_rP1 [c_taXG, a_taXE, b_taXF] - [d.Ord_a122, d.Ord_a123, d.Ord_a124] - d.Ord_aXB = - PrelBase.:Ord{-r1o-} - (Print002.Foo{-r52-} a_taXE b_taXF c_taXG) d.Eq_a126 - min_aXD - max_aXU - >_aY8 - >=_aYm - <=_aYA - <_aYO - compare_aZ2 -Print002.Bar2_sc1{-a133-} = + 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} x1_B1 -AbsBinds [a_ta12Z] [d.Bar2_a12u] [] + _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;} @@ -293,7 +295,7 @@ Print002./////{-r4t-} = Print002.meth1{-r4m-} = _/\_ a_tr4B -> \ x1_B1 -> case x1_B1 of { Print002.:Bar{-r51-} x2_B2 x3_B3 x4_B4 -> x4_B4;} -AbsBinds [a_ta130] [d.Bar_a12y] [] +AbsBinds [a_ta13A] [d.Bar_a138] [] Print002.hs:34: @@ -302,12 +304,6 @@ Print002.hs:34: x y = ... ghc: module version changed to 1; reason: no old .hi file -_interface_ Print002 1 302 -_instance_modules_ -IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum -_usages_ -PrelBase 1 :: $dEq0 1 $dEqBool0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval2 1 $dEvalBool0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalOrdering0 1 $dOrd0 1 $dOrdBool0 1 $dOrdInt0 1 $dOrdOrdering0 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 :: $dEqDouble0 1 $dOrdDouble0 1; _exports_ Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(:Bar :Bar meth2 ///// meth1) Bar2(:Bar2 :Bar2) Foo(MkFoo1 :## MkFoo3 :***); _instances_ diff --git a/ghc/tests/printing/should_compile/Print003.stderr b/ghc/tests/printing/should_compile/Print003.stderr index 6aed27a..9b25def 100644 --- a/ghc/tests/printing/should_compile/Print003.stderr +++ b/ghc/tests/printing/should_compile/Print003.stderr @@ -6,13 +6,10 @@ Word.bitLsh{-r3A-} = Word.bitRsh{-r3z-} = _/\_ a_tr3y -> \ x1_B1 -> case x1_B1 of { Word.:Bits{-r3C-} x2_B2 x3_B3 -> x3_B3;} -AbsBinds [a_taqh] [d.Bits_aqg] [] +AbsBinds [a_taqz] [d.Bits_aqy] [] ghc: module version changed to 1; reason: no old .hi file -_interface_ Word 1 302 -_instance_modules_ -IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum _exports_ Word Bits(:Bits :Bits bitLsh bitRsh); _fixities_ diff --git a/ghc/tests/printing/should_compile/Print004.stderr b/ghc/tests/printing/should_compile/Print004.stderr index 2006e22..956378b 100644 --- a/ghc/tests/printing/should_compile/Print004.stderr +++ b/ghc/tests/printing/should_compile/Print004.stderr @@ -13,82 +13,77 @@ ExportOpaque.Junk11{-r4-} = ExportOpaque.Junk2{-r3-} = _/\_ a_tr6V -> ExportOpaque.Junk2{-r3-} {_@_ a_tr6V} AbsBinds -[a_taQG] +[a_taRg] [] -[([a_taQG], ExportOpaque.$dEvalOpaqueType0{-rQJ-}, d.Eval_aPf)] - d.Eval_aPf = +[([a_taRg], ExportOpaque.$dEvalOpaqueType0{-rRj-}, d.Eval_aPP)] + d.Eval_aPP = PrelErr.error{-87-} - {PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taQG)} "Compiler error: bad dictionary Eval" + {PrelBase.Eval{-24-} (ExportOpaque.OpaqueType{-r1e-} a_taRg)} "Compiler error: bad dictionary Eval" AbsBinds -[a_taQH] +[a_taRh] [] -[([a_taQH], - ExportOpaque.$dEvalFunnyInternalType0{-rQO-}, - d.Eval_aPl)] - d.Eval_aPl = +[([a_taRh], + ExportOpaque.$dEvalFunnyInternalType0{-rRo-}, + d.Eval_aPV)] + d.Eval_aPV = PrelErr.error{-87-} - {PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQH)} "Compiler error: bad dictionary Eval" + {PrelBase.Eval{-24-} (ExportOpaque.FunnyInternalType{-r6P-} a_taRh)} "Compiler error: bad dictionary Eval" AbsBinds -[a_taPu] -[d.Ord_aPW] -[([a_taPu], ExportOpaque.$dShowOpaqueType0{-rQN-}, d.Show_aPr)] - showsPrec_aQP = +[a_taQ4] +[d.Ord_aQw] +[([a_taQ4], ExportOpaque.$dShowOpaqueType0{-rRn-}, d.Show_aQ1)] + showsPrec_aRp = PrelBase.showsPrec{-r5W-} - (ExportOpaque.FunnyInternalType{-r6P-} a_taPu) - d.Show_aQ6 - showsPrec_aQI = showsPrec_aPF - d.Show_aQ6 = - ExportOpaque.$dShowFunnyInternalType0{-rQM-} a_taPu d.Ord_aQ8 - d.Ord_aQ8 = d.Ord_aPW - AbsBinds [] [] [([], showList_aPt, showList_aQQ)] - showList_aQQ = PrelBase.showList__{-r70-} - (ExportOpaque.OpaqueType{-r1e-} a_taPu) showsPrec_aQI PrelBase.I#{-5b-} 0# - AbsBinds [] [] [([], showsPrec_aPF, showsPrec_aQR)] - showsPrec_aQR a_rOA (ExportOpaque.Con{-r6Q-} b1_rOB) - = PrelBase.showParen{-r6t-} a_rOA >=_aQK lit_aQL + (ExportOpaque.FunnyInternalType{-r6P-} a_taQ4) + d.Show_aQG + showsPrec_aRi = showsPrec_aQf + d.Show_aQG = + ExportOpaque.$dShowFunnyInternalType0{-rRm-} a_taQ4 d.Ord_aQI + d.Ord_aQI = d.Ord_aQw + AbsBinds [] [] [([], showList_aQ3, showList_aRq)] + showList_aRq = PrelBase.showList__{-r70-} + (ExportOpaque.OpaqueType{-r1e-} a_taQ4) showsPrec_aRi PrelBase.I#{-5b-} 0# + AbsBinds [] [] [([], showsPrec_aQf, showsPrec_aRr)] + showsPrec_aRr a_rPa (ExportOpaque.Con{-r6Q-} b1_rPb) + = PrelBase.showParen{-r6t-} a_rPa >=_aRk lit_aRl PrelBase..{-r6D-} [PrelBase.String{-r5U-}, PrelBase.String{-r5U-}, PrelBase.String{-r5U-}] PrelBase.showString{-r6s-} "Con " - showsPrec_aQP PrelBase.I#{-5b-} 10# - b1_rOB - d.Show_aPr = - PrelBase.:Show{-r1d-} - (ExportOpaque.OpaqueType{-r1e-} a_taPu) showList_aPt showsPrec_aPF + showsPrec_aRp PrelBase.I#{-5b-} 10# + b1_rPb + d.Show_aQ1 = + PrelBase.:Show{-r1d-} (ExportOpaque.OpaqueType{-r1e-} a_taQ4) + showList_aQ3 + showsPrec_aQf AbsBinds -[a_taQk] -[d.Ord_aQw] -[([a_taQk], - ExportOpaque.$dShowFunnyInternalType0{-rQM-}, - d.Show_aQh)] - $mshowList_aQS = +[a_taQU] +[d.Ord_aR6] +[([a_taQU], + ExportOpaque.$dShowFunnyInternalType0{-rRm-}, + d.Show_aQR)] + $mshowList_aRs = PrelBase.$mshowList{-ri7-} - (ExportOpaque.FunnyInternalType{-r6P-} a_taQk) - d.Show_aQA - d.Show_aQA = d.Show_aQh - AbsBinds [] [] [([], showList_aQj, showList_aQT)] - showList_aQT = $mshowList_aQS - AbsBinds [] [] [([], showsPrec_aQs, showsPrec_aQU)] - showsPrec_aQU + (ExportOpaque.FunnyInternalType{-r6P-} a_taQU) + d.Show_aRa + d.Show_aRa = d.Show_aQR + AbsBinds [] [] [([], showList_aQT, showList_aRt)] + showList_aRt = $mshowList_aRs + AbsBinds [] [] [([], showsPrec_aR2, showsPrec_aRu)] + showsPrec_aRu = PrelErr.noMethodBindingError{-8k-} (PrelBase.Int{-3f-} - -> ExportOpaque.FunnyInternalType{-r6P-} a_taQk + -> ExportOpaque.FunnyInternalType{-r6P-} a_taQU -> PrelBase.String{-r5U-} -> PrelBase.String{-r5U-}) "Print004.hs:18|showsPrec" - d.Show_aQh = - PrelBase.:Show{-r1d-} - (ExportOpaque.FunnyInternalType{-r6P-} a_taQk) showList_aQj - showsPrec_aQs -lit_aQL = PrelBase.I#{-5b-} 10# ->=_aQK = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aQF -d.Ord_aQF = PrelBase.$dOrdInt0{-rdN-} + d.Show_aQR = + PrelBase.:Show{-r1d-} (ExportOpaque.FunnyInternalType{-r6P-} a_taQU) + showList_aQT + showsPrec_aR2 +lit_aRl = PrelBase.I#{-5b-} 10# +>=_aRk = PrelBase.>={-8Y-} PrelBase.Int{-3f-} d.Ord_aRf +d.Ord_aRf = PrelBase.$dOrdInt0{-rdN-} ghc: module version changed to 1; reason: no old .hi file -_interface_ ExportOpaque 1 302 -_instance_modules_ -IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum -_usages_ -PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEqOrdering0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalInteger0 1 $dEvalOrdering0 1 $dNumInt0 1 $dOrd0 1 $dOrd1 1 $dOrdBool0 1 $dOrdChar0 1 $dOrdInt0 1 $dOrdOrdering0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $dShowOrdering0 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1; -PrelNum 1 :: $dEqDouble0 1 $dEqInteger0 1 $dNumDouble0 1 $dNumInteger0 1 $dOrdDouble0 1 $dOrdInteger0 1 $dShowDouble0 1 $dShowInteger0 1; _exports_ ExportOpaque OpaqueType; _instances_ diff --git a/ghc/tests/stranal/should_compile/Makefile b/ghc/tests/stranal/should_compile/Makefile index 000b901..8707162 100644 --- a/ghc/tests/stranal/should_compile/Makefile +++ b/ghc/tests/stranal/should_compile/Makefile @@ -4,6 +4,6 @@ include $(TOP)/mk/should_compile.mk SRC_HC_OPTS += -noC -O -dcore-lint -str001_HC_OPTS = -hi +str001_HC_OPTS = -hi-with-decls -hi-with-exports -hi-with-instances include $(TOP)/mk/target.mk diff --git a/ghc/tests/stranal/should_compile/str001.stderr b/ghc/tests/stranal/should_compile/str001.stderr index 49a3358..4112884 100644 --- a/ghc/tests/stranal/should_compile/str001.stderr +++ b/ghc/tests/stranal/should_compile/str001.stderr @@ -1,17 +1,5 @@ ghc: module version changed to 1; reason: no old .hi file -_interface_ ShouldSucceed 1 302 -_instance_modules_ -IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum -_usages_ -PrelBase 1 :: $dEq0 1 $dEq1 1 $dEqBool0 1 $dEqChar0 1 $dEqInt0 1 $dEval0 1 $dEval1 1 $dEval2 1 $dEvalBool0 1 $dEvalChar0 1 $dEvalDouble0 1 $dEvalInt0 1 $dEvalInteger0 1 $dNumInt0 1 $dShow0 1 $dShow1 1 $dShow2 1 $dShowBool0 1 $dShowChar0 1 $dShowInt0 1 $g1P 1 $g1w 1 $g1x 1 $g22 1 $g24 1 $g25 1 $g26 1 $g27 1 $g28 1 $g2T 1 $g2U 1 $g2Z 1 $g2b 1 $g2c 1 $g2g 1 $g2h 1 $g30 1 $g31 1 $g32 1 $g38 1 $g39 1 $g3a 1 $g3k 1 $g3l 1 $g3q 1 $g3s 1 $g3v 1 $g3w 1 $g3x 1 $g3y 1 $g3z 1 $g42 1 $g43 1 $g4k 1 $g4l 1 $g4m 1 $g4n 1 $g4o 1 $g4p 1 $g4r 1 $gb 1 $gh 1 $gj 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 $w$m/= 1 $wminusInt 1 $wplusInt 1 $wshowSignedInt 1 $wtimesInt 1 itos 1 minusInt 1 plusInt 1 showList__ 1 showLitChar 1 showSignedInt 1 timesInt 1 Eq 1 Eval 1 Num 1 Show 1 String 1; -PrelNum 1 :: $dEqDouble0 1 $dEqInteger0 1 $dNumDouble0 1 $dNumInteger0 1 $dShowDouble0 1 $dShowInteger0 1 $g10 1 $g1M 1 $g1N 1 $g1O 1 $g1P 1 $g1n 1 $g27 1 $g2G 1 $g2o 1 $g2p 1 $g2q 1 $g37 1 $g38 1 $g39 1 $g3a 1 $g3b 1 $g4L 1 $g4M 1 $g4R 1 $g4S 1 $g4f 1 $g4w 1 $g4x 1 $g4y 1 $g9 1 $gT 1 $ga 1 $gq 1 $gr 1 $gs 1 $gt 1 $gu 1 $gv 1 $gw 1 $gx 1 $gy 1 $gz 1 $wjtos 1 $wjtos' 1 $wminusDouble 1 $wplusDouble 1 $wshowSignedInteger 1 $wtimesDouble 1 minExpt 1 minusDouble 1 plusDouble 1 showSignedInteger 1 timesDouble 1; -PrelTup 1 :: $dEq0 1 $dEval0 1 $dShow3 1; _exports_ ShouldSucceed area2 Point2(Point2); _instances_ instance _forall_ [a] => {PrelBase.Eval (Point2 a)} = $dEvalPoint20; -_declarations_ -1 $dEvalPoint20 _:_ _forall_ [a] => {PrelBase.Eval (Point2 a)} ;; _A_ 0 _bot_ ;; -1 $warea2 _:_ _forall_ [a] => (a -> a -> a) -> (a -> a -> a) -> a -> a -> (a, a) -> (a, a) -> a ;; _A_ 6 _S_ LSLLu(LL)u(LL) _u_ _/\_ $x0 -> \ $x1 :: ($x0 -> $x0 -> $x0) $x2 :: ($x0 -> $x0 -> $x0) $x3 :: $x0 $x4 :: $x0 $x5 :: ($x0, $x0) $x6 :: ($x0, $x0) -> case $x5 of { PrelTup.(,) $x7 $x8 -> case $x6 of { PrelTup.(,) $x9 $xa -> let { $xd :: $x0 = let { $xb :: $x0 = $x2 $x3 $x7 } in let { $xc :: $x0 = $x2 $x4 $xa } in $x1 $xb $xc } in let { $xg :: $x0 = let { $xe :: $x0 = $x2 $x4 $x8 } in let { $xf :: $x0 = $x2 $x3 $x9 } in $x1 $xe $xf } in $x2 $xd $xg;};} ;; -1 area2 _:_ _forall_ [a] {PrelBase.Num a} => Point2 a -> Point2 a -> Point2 a -> a ;; _A_ 4 _S_ U(AAAAAAAALSA)N(U(LL))N(u(LL))N(u(LL)) $warea2 {PrelTup.(,) Point2 PrelBase.:Num} ;; -1 newtype {PrelBase.Num a} => Point2 a = Point2 (a, a) ; -- 1.7.10.4