[project @ 1997-09-25 14:35:16 by simonm]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc053.stderr

diff --git a/ghc/tests/typecheck/should_compile/tc053.stderr b/ghc/tests/typecheck/should_compile/tc053.stderr
index 016dc08..971239f 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc053.stderr
+++ b/ghc/tests/typecheck/should_compile/tc053.stderr
@@ -1,32 +1,3 @@
-==================== Typechecked ====================
-AbsBinds
-[taCA]
-[d.Eq'_aCF, d.Num_aCI]
-[([taCA], f{-r3A,x-}, f_aCn)]
-    d.Eq'_aCD = $d1{-rDB,x-} taCA d.Eq'_aCF
-    deq_aDz = deq{-r3B,x-} [taCA] d.Eq'_aCD
-    fromInt_aDy = PrelBase.fromInt{-8R,p-} taCA d.Num_aCI
-    lit_aDx = fromInt_aDy PrelBase.I#{-5b,w-}{i} 1#
-    f_aCn x_r3f = deq_aDz x_r3f [lit_aDx] (taCA)
-AbsBinds [taCZ] [d.Eq'_aDb] [([taCZ], $d1{-rDB,x-}, d.Eq'_aCO)]
-    d.Eq'_aDf = d.Eq'_aDb
-    deq_aDE = deq{-r3B,x-} taCZ d.Eq'_aDf
-    deq_aDD = deq_aDC
-    AbsBinds [] [] [([], deq_aDC, deq_aCS)]
-       deq_aCS (a_r3m PrelBase.:{-55,w-}{i} as_r3n)
-               (b_r3o PrelBase.:{-55,w-}{i} bs_r3p)
-               = if deq_aDE a_r3m b_r3o then
-                     deq_aDD as_r3n bs_r3p
-                 else
-                     PrelBase.False{-58,w-}{i}
-    d.Eq'_aCO = ({-dict-} [] [deq_aDC])
-AbsBinds [] [] [([], $d2{-rDA,x-}, d.Eq'_aDl)]
-    AbsBinds [] [] [([], deq_aDF, deq_aDp)]
-       deq_aDp x_r3v y_r3w = PrelBase.True{-5E,w-}{i}
-    d.Eq'_aDl = ({-dict-} [] [deq_aDF])
-deq{-r3B,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [taDw] [d.Eq'_aDv] []
-
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_