ghc/tests/typecheck/should_compile/tc035.stderr

   1 ==================== Typechecked ====================
   2 Var{-r5,x-}{i} =
   3     _/\_ a_tr3q -> \ tpl_B1 -> Var{-r5,x-}{i} {_@_ a_tr3q tpl_B1}
   4 App{-r4,x-}{i} =
   5     _/\_ a_tr3q -> \ tpl_B1 tpl_B2 ->
   6         App{-r4,x-}{i} {_@_ a_tr3q tpl_B1 tpl_B2}
   7 AbsBinds [taRR] [] [([taRR], g{-r3t,x-}, g_aRu)]
   8     g_aRu (a_r3j, (Var{-r5,x-}{i} name_r3k))
   9           = [name_r3k] ([PrelBase.Char{-38,W-}])
  10     g_aRu (a_r3m, (App{-r4,x-}{i} e1_r3n e2_r3o))
  11           = ++_aSf [PrelBase.Char{-38,W-}] (g_aRu e1_r3n) (g_aRu e2_r3o)
  12 AbsBinds [taSe] [] [([taSe], $d1{-rSi,x-}, d.Eval_aSb)]
  13     d.Eval_aSb = ({-dict-} [] [])
  14 d.MonadPlus_aSd = PrelBase.$d23{-rpi,p-}
  15 ++_aSf = PrelBase.++{-ruo,p-} PrelBase.[]{-3j,W-} d.MonadPlus_aSd
  16
  17 ghc: module version changed to 1; reason: no old .hi file
  18 _interface_ ShouldSucceed 1
  19 _instance_modules_
  20 ArrBase IO PrelNum
  21 _usages_
  22 PrelBase 1 :: $d2 1 $d23 1 $d24 1 $d25 1 $d38 1 $d39 1 $d40 1 $d42 1 $d45 1 $d47 1 $m>> 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1;
  23 PrelTup 1 :: $d13 1;
  24 _exports_
  25 ShouldSucceed g AnnExpr Expr(Var App);
  26 _instances_
  27 instance _forall_ [a] => {PrelBase.Eval (Expr a)} = $d1;
  28 _declarations_
  29 1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Expr a)} ;;
  30 1 type AnnExpr a = (a, Expr a) ;
  31 1 data Expr a = Var [PrelBase.Char] |  App (AnnExpr a) (AnnExpr a) ;
  32 1 g _:_ _forall_ [ta] => (ta, Expr ta) -> [[PrelBase.Char]] ;;