[project @ 1997-09-22 10:55:42 by simonm]
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc051.stderr
index 25ad280..a28656e 100644 (file)
@@ -1,29 +1,27 @@
-
-
-================================================================================
-Typechecked:
-AbsBinds [] [] [([], $d1{-rlY,x-}, d.Ord'_alb)]
-    d.Eq'_alg = $d3{-rm0,x-}
-    AbsBinds [] [] [([], lt_am2, lt_alf)]
-       lt_alf x_r3j y_r3k = PrelBase.True{-5E,w-}{i}
-    d.Ord'_alb = ({-dict-} [d.Eq'_alg] [lt_am2])
-AbsBinds [taly] [d.Eq'_alB] [([taly], $d2{-rlZ,x-}, d.Eq'_alr)]
-    AbsBinds [] [] [([], doubleeq_am3, doubleeq_alv)]
-       doubleeq_alv x_r3s y_r3t = PrelBase.True{-5E,w-}{i}
-    d.Eq'_alr = ({-dict-} [] [doubleeq_am3])
-AbsBinds [] [] [([], $d3{-rm0,x-}, d.Eq'_alI)]
-    AbsBinds [] [] [([], doubleeq_am4, doubleeq_alM)]
-       doubleeq_alM x_r3z y_r3A = PrelBase.True{-5E,w-}{i}
-    d.Eq'_alI = ({-dict-} [] [doubleeq_am4])
-scsel_Ord'ShouldSucceedEq'{-am1,x-} =
+==================== Typechecked ====================
+AbsBinds [] [] [([], $d1{-rm2,x-}, d.Ord'_alf)]
+    d.Eq'_alk = $d3{-rm5,x-}
+    AbsBinds [] [] [([], lt_am3, lt_alj)]
+       lt_alj x_r3j y_r3k = PrelBase.True{-5E,w-}{i}
+    d.Ord'_alf = ({-dict-} [d.Eq'_alk] [lt_am3])
+AbsBinds [talC] [d.Eq'_alF] [([talC], $d2{-rm6,x-}, d.Eq'_alv)]
+    AbsBinds [] [] [([], doubleeq_am7, doubleeq_alz)]
+       doubleeq_alz x_r3s y_r3t = PrelBase.True{-5E,w-}{i}
+    d.Eq'_alv = ({-dict-} [] [doubleeq_am7])
+AbsBinds [] [] [([], $d3{-rm5,x-}, d.Eq'_alM)]
+    AbsBinds [] [] [([], doubleeq_am8, doubleeq_alQ)]
+       doubleeq_alQ x_r3z y_r3A = PrelBase.True{-5E,w-}{i}
+    d.Eq'_alM = ({-dict-} [] [doubleeq_am8])
+scsel_Ord'ShouldSucceedEq'{-am4,x-} =
     _/\_ t12 -> \ tpl_B1 ->
        case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-lt{-r3J,x-} =
+lt{-r3H,x-} =
     _/\_ t12 -> \ tpl_B1 ->
        case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-AbsBinds [talW] [d.Ord'_alS] []
-doubleeq{-r3I,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [talX] [d.Eq'_alV] []
+AbsBinds [tam0] [d.Ord'_alW] []
+doubleeq{-r3J,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
+AbsBinds [tam1] [d.Eq'_alZ] []
+
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_