[project @ 1998-02-03 11:24:18 by simonm]

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

diff --git a/ghc/tests/typecheck/should_compile/tc024.stderr b/ghc/tests/typecheck/should_compile/tc024.stderr
index 862268b..4d2205c 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc024.stderr
+++ b/ghc/tests/typecheck/should_compile/tc024.stderr
@@ -1,26 +1,10 @@
-==================== Typechecked ====================
-AbsBinds [takX, takZ] [] [([takX, takZ], k{-r3n,x-}, k_akH)]
-    k_akH x_r3l y_r3m = x_r3l
-AbsBinds
-[talz, talB, talD]
-[]
-[([talz, talB, talD], s{-r3o,x-}, s_al1)]
-    s_al1 f_r3h g_r3i x_r3j = f_r3h x_r3j g_r3i x_r3j
-AbsBinds [talP] [] [([talP], main{-r3p,x-}, main_alF)]
-    main_alF x_r3f
-            = s{-r3o,x-} [talP, talP, GHC.Void{-3T,W-} -> talP] k{-r3n,x-}
-                                                                    [GHC.Void{-3T,W-}
-                                                                     -> talP, talP]
-                                                                k{-r3n,x-} [GHC.Void{-3T,W-}, talP]
-                                                                x_r3f
-
 ghc: module version changed to 1; reason: no old .hi file
 _interface_ ShouldSucceed 1
 _instance_modules_
-ArrBase IO PrelNum
+IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
 _exports_
 ShouldSucceed k main s;
 _declarations_
-1 k _:_ _forall_ [ta tb] => tb -> ta -> tb ;;
-1 main _:_ _forall_ [ta] => ta -> ta ;;
-1 s _:_ _forall_ [ta tb tc] => (tb -> tc -> ta) -> (tb -> tc) -> tb -> ta ;;
+1 k _:_ _forall_ [a b] => b -> a -> b ;;
+1 main _:_ _forall_ [a] => a -> a ;;
+1 s _:_ _forall_ [a b c] => (b -> c -> a) -> (b -> c) -> b -> a ;;