[project @ 1997-05-26 05:37:13 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc055.stderr

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr
index ba7f37f..5980a75 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc055.stderr
@@ -1,8 +1,26 @@
+
+
+--================================================================================
 Typechecked:
-AbsBinds [ot6, ot7] [] [(x.t2, ShouldSucceed.x), (y.t3, ShouldSucceed.y)]
-    {- nonrec -}
-    (x.t2, y.t3) :: (ot6 -> ot6, ot7 -> ot7)
-    (x.t2, y.t3)
-       = (\ p.r55 -> p.r55,
-          \ q.r56 -> q.r56)
+{- nonrec -}
+{- nonrec -}
+AbsBinds
+[t{-aBi-}, t{-aBk-}]
+[]
+[([t{-aBi-}, t{-aBk-}], x{-r3i,x-}, x_aB3), ([t{-aBi-}, t{-aBk-}],
+                                            y{-r3h,x-},
+                                            y_aB4)]
+    (x_aB3, y_aB4)
+       =   (\ p_r3e   ->  p_r3e, \ q_r3g   ->  q_r3g)
+{- nonrec -}
 
+NOTE: Simplifier still going after 4 iterations; bailing out.
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_exports_
+ShouldSucceed x y;
+_declarations_
+1 x _:_ _forall_ [a b] => a -> a ;;
+1 y _:_ _forall_ [a b] => b -> b ;;