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

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

diff --git a/ghc/tests/typecheck/should_compile/tc048.stderr b/ghc/tests/typecheck/should_compile/tc048.stderr
index f217093..2807b73 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc048.stderr
+++ b/ghc/tests/typecheck/should_compile/tc048.stderr
@@ -1,41 +1,3 @@
-==================== Typechecked ====================
-MkAFE{-r3S,x-}{i} =
-    _/\_ n_tr3K a_tr3L b_tr3M -> \ tpl_B1 ->
-       MkAFE{-r3S,x-}{i} {_@_ n_tr3K _@_ a_tr3L _@_ b_tr3M tpl_B1}
-MkFG{-r3U,x-}{i} =
-    _/\_ a_tr3O b_tr3P -> \ tpl_B1 ->
-       MkFG{-r3U,x-}{i} {_@_ a_tr3O _@_ b_tr3P tpl_B1}
-MkOL{-r3W,x-}{i} =
-    _/\_ a_tr3R -> \ tpl_B1 -> MkOL{-r3W,x-}{i} {_@_ a_tr3R tpl_B1}
-AbsBinds [taRj, taRm] [] [([taRj, taRm], sNd{-r3u,x-}, sNd_aR9)]
-    sNd_aR9 (f_r3F, s_r3G) = s_r3G
-AbsBinds [taRL, taRP] [] [([taRL, taRP], mAp{-r3v,x-}, mAp_aRp)]
-    mAp_aRp f_r3z PrelBase.[]{-5i,w-}{i} = PrelBase.[]{-5i,w-}{i} taRP
-    mAp_aRp f_r3B (x_r3C PrelBase.:{-55,w-}{i} xs_r3D)
-           = PrelBase.:{-55,w-}{i} taRP (f_r3B x_r3C) (mAp_aRp f_r3B xs_r3D)
-AbsBinds
-[taS5, taS6]
-[]
-[([taS5, taS6], ranOAL{-r3s,x-}, ranOAL_aS0)]
-    ranOAL_aS0 (MkOL{-r3W,x-}{i} xs_r3x)
-              = mAp{-r3v,x-} [(taS5, taS6), taS6] sNd{-r3u,x-} [taS5, taS6]
-                                                  xs_r3x
-AbsBinds
-[taSy, taSz, taSA]
-[]
-[([taSy, taSz, taSA], ranAFE{-r3t,x-}, ranAFE_aSp)]
-    ranAFE_aSp (MkAFE{-r3S,x-}{i} nfs_r3I)
-              = ranOAL{-r3s,x-} [taSy, FG{-r3V,x-} taSz taSA] nfs_r3I
-AbsBinds
-[taT1, taT3, taT2]
-[]
-[([taT1, taT3, taT2], $d1{-rTd,x-}, d.Eval_aSN)]
-    d.Eval_aSN = ({-dict-} [] [])
-AbsBinds [taT4, taT5] [] [([taT4, taT5], $d2{-rTc,x-}, d.Eval_aSU)]
-    d.Eval_aSU = ({-dict-} [] [])
-AbsBinds [taT6] [] [([taT6], $d3{-rTb,x-}, d.Eval_aT0)]
-    d.Eval_aT0 = ({-dict-} [] [])
-
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_