[project @ 1997-07-30 23:52:45 by sof]
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc012.stderr
index 2839d82..cfa9902 100644 (file)
@@ -1,6 +1,18 @@
-Typechecked:
-AbsBinds [ot2] [] [(q.t1, ShouldSucceed.q)]
-    {- nonrec -}
-    q.t1 :: ot2 -> ot2
-    q.t1 = \ y.r54 -> y.r54
 
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+{- nonrec -}
+AbsBinds [t{-an8-}] [] [([t{-an8-}], q{-r3e,x-}, q_an2)]
+    q_an2
+       =   \ y_r3d   ->  y_r3d
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_exports_
+ShouldSucceed q;
+_declarations_
+1 q _:_ _forall_ [a] => a -> a ;;