[project @ 1997-07-31 00:05:10 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
deleted file mode 100644 (file)
index 00d2110..0000000
--- a/ghc/compiler/tests/typecheck/should_succeed/tc035.stderr
+++ /dev/null
@@ -1,51 +0,0 @@
-
-
---================================================================================
-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]] ;;