X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc035.stderr;h=00d21101c54818e49bd2a8176e9b90eb48f1ad5f;hb=29b46083beaa048af4b4a68e8f96909ac98a639f;hp=677e2a15ca10ee6b6dcddca6a91947f7579b03c9;hpb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;p=ghc-hetmet.git

diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr
index 677e2a1..00d2110 100644
--- 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]] ;;