[project @ 1997-05-26 05:37:13 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc037.stderr

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc037.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc037.stderr
index 87167e2..d506e3c 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc037.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc037.stderr
@@ -1,34 +1,67 @@
+
+
+--================================================================================
 Typechecked:
 {- nonrec -}
-ShouldSucceed.Eq'.deq = /\ a.t21 -> \{-classdict-} [] [deq.t22] -> deq.t22
+deq{-r3x,x-} =
+    _/\_ a{-r3w-} -> \ tpl_B1 ->
+       tpl_B1
 {- nonrec -}
-defm.ShouldSucceed.Eq'.deq =
-    /\ a.t23 ->
-       \{-dict-} d.ShouldSucceed.Eq'.t24 ->
-           (error (a.t23 -> a.t23 -> Bool))
-               "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.deq\"\n"
 AbsBinds
-[a.t0]
-[d.ShouldSucceed.Eq'.t1]
-[(d.ShouldSucceed.Eq'.t2, dfun.ShouldSucceed.Eq'.List)]
-    (d.ShouldSucceed.Eq'.t19, d.ShouldSucceed.Eq'.t2)
-    (ShouldSucceed.Eq'.deq.t16,
-       ShouldSucceed.Eq'.deq [a.t0] d.ShouldSucceed.Eq'.t19)
-    (d.ShouldSucceed.Eq'.t20, d.ShouldSucceed.Eq'.t1)
-    (ShouldSucceed.Eq'.deq.t13,
-       ShouldSucceed.Eq'.deq a.t0 d.ShouldSucceed.Eq'.t20)
-    {- rec -}
-    d.ShouldSucceed.Eq'.t2 = ({-dict-} [] [deq.t3])
-    deq.t3 :: [a.t0] -> [a.t0] -> Bool
-    deq.t3
-       [] [] = True
-    deq.t3
-       (x.r29 : xs.r30) (y.r31 : ys.r32)
-               = if x.r29 `ShouldSucceed.Eq'.deq.t13` y.r31 then
-                     ShouldSucceed.Eq'.deq.t16 xs.r30 ys.r32
-                 else
-                     False
-    deq.t3
-       other1.r33 other2.r34
-               = False
-
+[a{-aog-}]
+[d.Eq'_ao9]
+[([a{-aog-}], $mdeq{-rnR,x-}, deq_aob)]
+    AbsBinds [] [] [([], deq_aob, deq_aod)]
+       deq_aod
+           =   GHCerr.noDefaultMethodError{-8k,p-}
+                   (a{-aog-}
+                    -> a{-aog-}
+                    -> PrelBase.Bool{-34,p-}) "Class Eq' Method deq"
+{- rec -}
+AbsBinds
+[a{-anC-}]
+[d.Eq'_ao2]
+[([a{-anC-}], $d1{-roh,x-}, d.Eq'_anw)]
+    d.Eq'_ao5 =
+       d.Eq'_ao2
+    deq_aok =
+       deq{-r3x,x-}
+           a{-anC-}
+           d.Eq'_ao5
+    deq_aoj =
+       deq_aoi
+    AbsBinds [] [] [([], deq_aoi, deq_anz)]
+       deq_anz
+           PrelBase.[]{-5i,p-}{i} PrelBase.[]{-5i,p-}{i}
+                   =   PrelBase.True{-5E,p-}{i}
+       deq_anz
+           (x_r3l PrelBase.:{-55,p-}{i} xs_r3m)
+           (y_r3o PrelBase.:{-55,p-}{i} ys_r3p)
+                   =   if x_r3l deq_aok y_r3o then
+                           deq_aoj xs_r3m ys_r3p
+                       else
+                           PrelBase.False{-58,p-}{i}
+       deq_anz
+           other1_r3r other2_r3t
+                   =   PrelBase.False{-58,p-}{i}
+    d.Eq'_anw =
+       ({-dict-} [] [deq_aoi])
+{- nonrec -}
+ghc:junk old iface line?:section::interface ShouldSucceed where {
+ghc:junk old iface line?:section::class Eq' a where {
+ghc:junk old iface line?:section::    deq :: a -> a -> Bool
+ghc:junk old iface line?:section::    };
+ghc:junk old iface line?:section::instance (Eq' a) => Eq' [a] {-# FROMMODULE ShouldSucceed #-}
+ghc:junk old iface line?:section::}
+ghc: module version changed to 1; reason: exports changed
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_exports_
+ShouldSucceed Eq'(deq);
+_instances_
+instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d1;
+_declarations_
+1 $d1 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
+1 $mdeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
+1 class Eq' r3w where {deq :: r3w -> r3w -> PrelBase.Bool} ;