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

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

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr
index 677e2a1..00d2110 100644 (file)
--- a/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr
+++ b/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr
@@ -1,9 +1,51 @@
-Typechecked:
-AbsBinds [a.t10] [] [(g.t1, ShouldSucceed.g)]
-    {- rec -}
-    g.t1 :: ShouldSucceed.AnnExpr a.t10 -> [[Char]]
-    g.t1 (a.r60, (ShouldSucceed.Var name.r61))
-                = [name.r61] ([Char])
-    g.t1 (a.r62, (ShouldSucceed.App e1.r63 e2.r64))
-                = ((++) [Char]) (g.t1 e1.r63) (g.t1 e2.r64)
 
+
+--================================================================================
+Typechecked:
+{- nonrec -}
+Var{-r5,x-}{i} =
+    _/\_ a{-r3q-} -> \ tpl_B1 ->
+       Var{-r5,x-}{i}
+           {_@_ a{-r3q-} tpl_B1}
+App{-r4,x-}{i} =
+    _/\_ a{-r3q-} -> \ tpl_B1 tpl_B2 ->
+       App{-r4,x-}{i}
+           {_@_ a{-r3q-} tpl_B1 tpl_B2}
+{- rec -}
+AbsBinds [a{-aWY-}] [] [([a{-aWY-}], $d1{-rX1,x-}, d.Eval_aWV)]
+    d.Eval_aWV =
+       ({-dict-} [] [])
+{- nonrec -}
+d.MonadPlus_aWX =
+    PrelBase.$d22{-rq5,p-}
+++_aX2 =
+    PrelBase.++{-rur,p-}
+       PrelBase.[]{-3j,p-}
+       d.MonadPlus_aWX
+{- rec -}
+AbsBinds [t{-aWD-}] [] [([t{-aWD-}], g{-r3t,x-}, g_aWg)]
+    g_aWg
+       (a_r3j, (Var{-r5,x-}{i} name_r3k))
+               =   [name_r3k] ([PrelBase.Char{-38,p-}])
+    g_aWg
+       (a_r3m, (App{-r4,x-}{i} e1_r3n e2_r3o))
+               =   ++_aX2
+                       [PrelBase.Char{-38,p-}]
+                       (g_aWg e1_r3n) (g_aWg e2_r3o)
+{- nonrec -}
+ghc: module version changed to 1; reason: no old .hi file
+_interface_ ShouldSucceed 1
+_instance_modules_
+ArrBase IO PrelNum
+_usages_
+PrelBase 1 :: $d22 1 $d23 1 $d24 1 $d37 1 $d38 1 $d39 1 $d41 1 $d44 1 $d46 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1;
+PrelTup 1 :: $d13 1;
+_exports_
+ShouldSucceed g AnnExpr Expr(Var App);
+_instances_
+instance _forall_ [a] => {PrelBase.Eval (Expr a)} = $d1;
+_declarations_
+1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Expr a)} ;;
+1 type AnnExpr r3s = (r3s, Expr r3s) ;
+1 data Expr r3q = Var [PrelBase.Char] |  App (AnnExpr r3q) (AnnExpr r3q) ;
+1 g _:_ _forall_ [a] => (a, Expr a) -> [[PrelBase.Char]] ;;