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

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

diff --git a/ghc/tests/typecheck/should_compile/tc054.stderr b/ghc/tests/typecheck/should_compile/tc054.stderr
index 956d6c3..59dfc93 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc054.stderr
+++ b/ghc/tests/typecheck/should_compile/tc054.stderr
@@ -1,33 +1,3 @@
-==================== Typechecked ====================
-AbsBinds
-[taCS, taCN]
-[d.Ord'_aCU, d.Num_aCX]
-[([taCS, taCN], f{-r3D,x-}, f_aCw)]
-    lt_aDz = lt{-r3E,x-} taCN d.Ord'_aCU
-    fromInt_aDy = PrelBase.fromInt{-8R,p-} taCN d.Num_aCX
-    lit_aDx = fromInt_aDy PrelBase.I#{-5b,w-}{i} 1#
-    f_aCw x_r3h y_r3i
-         | lt_aDz x_r3h lit_aDx = PrelBase.True{-5E,w-}{i}
-         | PrelBase.otherwise{-818,p-} = PrelBase.False{-58,w-}{i}
-AbsBinds [] [] [([], $d1{-rDC,x-}, d.Ord'_aD2)]
-    d.Eq'_aD7 = $d2{-rDB,x-}
-    AbsBinds [] [] [([], lt_aDD, lt_aD6)]
-       lt_aD6 x_r3n y_r3o = PrelBase.True{-5E,w-}{i}
-    d.Ord'_aD2 = ({-dict-} [d.Eq'_aD7] [lt_aDD])
-AbsBinds [] [] [([], $d2{-rDB,x-}, d.Eq'_aDh)]
-    AbsBinds [] [] [([], doubleeq_aDE, doubleeq_aDl)]
-       doubleeq_aDl x_r3u y_r3v = PrelBase.True{-5E,w-}{i}
-    d.Eq'_aDh = ({-dict-} [] [doubleeq_aDE])
-scsel_Ord'ShouldSucceedEq'{-aDA,x-} =
-    _/\_ t12 -> \ tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-lt{-r3E,x-} =
-    _/\_ t12 -> \ tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-AbsBinds [taDv] [d.Ord'_aDr] []
-doubleeq{-r3G,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [taDw] [d.Eq'_aDu] []
-
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_