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

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

diff --git a/ghc/tests/typecheck/should_compile/tc057.stderr b/ghc/tests/typecheck/should_compile/tc057.stderr
index a8c8f4b..db73320 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc057.stderr
+++ b/ghc/tests/typecheck/should_compile/tc057.stderr
@@ -1,35 +1,3 @@
-==================== Typechecked ====================
-AbsBinds [] [] [([], dand{-r3j,x-}, dand_aCy)]
-    dand_aCy PrelBase.True{-5E,w-}{i} PrelBase.True{-5E,w-}{i}
-            = PrelBase.True{-5E,w-}{i}
-    dand_aCy x_r3m y_r3n = PrelBase.False{-58,w-}{i}
-AbsBinds [taCT] [d.Eq'_aD7] [([taCT], f{-r3i,x-}, f_aCQ)]
-    d.Eq'_aD9 = d.Eq'_aD7
-    deq_aE9 = deq{-r3M,x-} taCT d.Eq'_aD9
-    f_aCQ p_r3p q_r3q
-         = dand{-r3j,x-} deq_aE9 p_r3p q_r3q
-                         deq_aE6 [PrelBase.I#{-5b,w-}{i} 1#] (PrelBase.Int{-3g,W-})
-                                 [PrelBase.I#{-5b,w-}{i} 2#] (PrelBase.Int{-3g,W-})
-AbsBinds [taDs] [d.Eq'_aDE] [([taDs], $d1{-rE8,x-}, d.Eq'_aDh)]
-    d.Eq'_aDI = d.Eq'_aDE
-    f_aEc = f{-r3i,x-} taDs d.Eq'_aDI
-    d.Eq'_aDK = d.Eq'_aDh
-    f_aEb = f{-r3i,x-} [taDs] d.Eq'_aDK
-    AbsBinds [] [] [([], deq_aEa, deq_aDl)]
-       deq_aDl (a_r3y PrelBase.:{-55,w-}{i} as_r3z)
-               (b_r3A PrelBase.:{-55,w-}{i} bs_r3B)
-               = dand{-r3j,x-} f_aEc a_r3y b_r3A f_aEb as_r3z bs_r3B
-    d.Eq'_aDh = ({-dict-} [] [deq_aEa])
-AbsBinds [] [] [([], $d2{-rE7,x-}, d.Eq'_aDQ)]
-    AbsBinds [] [] [([], deq_aEd, deq_aDU)]
-       deq_aDU x_r3H y_r3I = PrelBase.True{-5E,w-}{i}
-    d.Eq'_aDQ = ({-dict-} [] [deq_aEd])
-deq{-r3M,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [taE5] [d.Eq'_aE0] []
-d.Eq'_aE4 = $d2{-rE7,x-}
-d.Eq'_aE2 = $d1{-rE8,x-} PrelBase.Int{-3g,W-} d.Eq'_aE4
-deq_aE6 = deq{-r3M,x-} [PrelBase.Int{-3g,W-}] d.Eq'_aE2
-
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_