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

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

diff --git a/ghc/tests/typecheck/should_compile/tc079.stderr b/ghc/tests/typecheck/should_compile/tc079.stderr
index 8e17caf..d244cf4 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc079.stderr
+++ b/ghc/tests/typecheck/should_compile/tc079.stderr
@@ -1,53 +1,3 @@
-==================== Typechecked ====================
-AbsBinds [taCa] [d.Foo_aCy] [([taCa], $d1{-rDY,x-}, d.Foo_aC0)]
-    d.Foo_aCA = d.Foo_aC0
-    $mop1_aE2 = $mop1{-rC3,x-} [taCa] d.Foo_aCA
-    d.Foo_aCC = d.Foo_aC0
-    $mop2_aE1 = $mop2{-rC7,x-} [taCa] d.Foo_aCC
-    AbsBinds [] [] [([], op1_aE0, op1_aC6)]
-       op1_aC6 = $mop1_aE2
-    AbsBinds [taCs] [d.Ord_aCv] [([taCs], op2_aDZ, op2_aCj)]
-       d.Ord_aCx = d.Ord_aCv
-       $mop2_aE6 = $mop2_aE1 taCs d.Ord_aCx
-       op2_aCj = $mop2_aE6
-    d.Foo_aC0 = ({-dict-} [] [op1_aE0, op2_aDZ])
-AbsBinds [] [] [([], $d2{-rE5,x-}, d.Foo_aCI)]
-    AbsBinds [] [] [([], op1_aE8, op1_aCN)]
-       op1_aCN = $mop1_aE4
-    AbsBinds [taD8] [d.Ord_aDb] [([taD8], op2_aE7, op2_aCZ)]
-       d.Ord_aDf = d.Ord_aDb
-       $mop2_aE9 = $mop2_aE3 taD8 d.Ord_aDf
-       op2_aCZ = $mop2_aE9
-    d.Foo_aCI = ({-dict-} [] [op1_aE8, op2_aE7])
-op1{-r3D,x-} =
-    _/\_ t12 -> \ tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-op2{-r3C,x-} =
-    _/\_ t12 -> \ tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-AbsBinds
-[taDq]
-[d.Foo_aDQ]
-[([taDq], $mop1{-rC3,x-}, op1_aEa), ([taDq],
-                                    $mop2{-rC7,x-},
-                                    op2_aEb)]
-    d.Foo_aDS = d.Foo_aDQ
-    op1_aEc = op1{-r3D,x-} taDq d.Foo_aDS
-    AbsBinds [] [] [([], op1_aEa, op1_aDn)]
-       op1_aDn x_r3u = PrelBase.True{-5E,w-}{i}
-    AbsBinds [taDC] [d.Ord_aDM] [([taDC], op2_aEb, op2_aDw)]
-       d.Ord_aDO = d.Ord_aDM
-       <_aEd = PrelBase.<{-rfI,p-} taDC d.Ord_aDO
-       op2_aDw x_r3y y_r3z z_r3A
-               = if (op1_aEc x_r3y) PrelBase.&&{-r3B,p-} (y_r3z <_aEd z_r3A) then
-                     y_r3z
-                 else
-                     z_r3A
-d.Foo_aDU = $d2{-rE5,x-}
-$mop1_aE4 = $mop1{-rC3,x-} PrelBase.Int{-3g,W-} d.Foo_aDU
-d.Foo_aDX = d.Foo_aDU
-$mop2_aE3 = $mop2{-rC7,x-} PrelBase.Int{-3g,W-} d.Foo_aDX
-
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_