[project @ 1997-07-31 00:05:10 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
deleted file mode 100644 (file)
index d506e3c..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc037.stderr
+++ /dev/null
@@ -1,67 +0,0 @@
-
-
---================================================================================
-Typechecked:
-{- nonrec -}
-deq{-r3x,x-} =
-    _/\_ a{-r3w-} -> \ tpl_B1 ->
-       tpl_B1
-{- nonrec -}
-AbsBinds
-[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} ;