[project @ 1999-01-23 17:57:35 by sof]

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

diff --git a/ghc/tests/typecheck/should_compile/tc023.stderr b/ghc/tests/typecheck/should_compile/tc023.stderr
index db51c99..9e7987a 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc023.stderr
+++ b/ghc/tests/typecheck/should_compile/tc023.stderr
@@ -1,24 +1,5 @@
-==================== Typechecked ====================
-AbsBinds [takV, takX] [] [([takV, takX], k{-r3l,x-}, k_akF)]
-    k_akF x_r3j y_r3k = x_r3j
-AbsBinds
-[talx, talz, talB]
-[]
-[([talx, talz, talB], s{-r3m,x-}, s_akZ)]
-    s_akZ f_r3f g_r3g x_r3h = f_r3f x_r3h g_r3g x_r3h
-AbsBinds [talJ] [] [([talJ], main{-r3n,x-}, main_alD)]
-    main_alD
-       = s{-r3m,x-} [talJ, talJ, GHC.Void{-3T,W-} -> talJ] k{-r3l,x-}
-                                                               [GHC.Void{-3T,W-} -> talJ, talJ]
-                                                           k{-r3l,x-} [GHC.Void{-3T,W-}, talJ]
-
 ghc: module version changed to 1; reason: no old .hi file
-_interface_ ShouldSucceed 1
-_instance_modules_
-ArrBase IO 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 ;;
+__export ShouldSucceed k main s;
+1 k :: __forall [t _116] => t -> _116 -> t ;
+1 main :: __forall [t] => t -> t ;
+1 s :: __forall [t _116 _1161] => (_1161 -> _116 -> t) -> (_1161 -> _116) -> _1161 -> t ;