ghc/compiler/tests/typecheck/should_succeed/tc035.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 Var{-r5,x-}{i} =
   7     _/\_ a{-r3q-} -> \ tpl_B1 ->
   8         Var{-r5,x-}{i}
   9             {_@_ a{-r3q-} tpl_B1}
  10 App{-r4,x-}{i} =
  11     _/\_ a{-r3q-} -> \ tpl_B1 tpl_B2 ->
  12         App{-r4,x-}{i}
  13             {_@_ a{-r3q-} tpl_B1 tpl_B2}
  14 {- rec -}
  15 AbsBinds [a{-aWY-}] [] [([a{-aWY-}], $d1{-rX1,x-}, d.Eval_aWV)]
  16     d.Eval_aWV =
  17         ({-dict-} [] [])
  18 {- nonrec -}
  19 d.MonadPlus_aWX =
  20     PrelBase.$d22{-rq5,p-}
  21 ++_aX2 =
  22     PrelBase.++{-rur,p-}
  23         PrelBase.[]{-3j,p-}
  24         d.MonadPlus_aWX
  25 {- rec -}
  26 AbsBinds [t{-aWD-}] [] [([t{-aWD-}], g{-r3t,x-}, g_aWg)]
  27     g_aWg
  28         (a_r3j, (Var{-r5,x-}{i} name_r3k))
  29                 =   [name_r3k] ([PrelBase.Char{-38,p-}])
  30     g_aWg
  31         (a_r3m, (App{-r4,x-}{i} e1_r3n e2_r3o))
  32                 =   ++_aX2
  33                         [PrelBase.Char{-38,p-}]
  34                         (g_aWg e1_r3n) (g_aWg e2_r3o)
  35 {- nonrec -}
  36 ghc: module version changed to 1; reason: no old .hi file
  37 _interface_ ShouldSucceed 1
  38 _instance_modules_
  39 ArrBase IO PrelNum
  40 _usages_
  41 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;
  42 PrelTup 1 :: $d13 1;
  43 _exports_
  44 ShouldSucceed g AnnExpr Expr(Var App);
  45 _instances_
  46 instance _forall_ [a] => {PrelBase.Eval (Expr a)} = $d1;
  47 _declarations_
  48 1 $d1 _:_ _forall_ [a] => {PrelBase.Eval (Expr a)} ;;
  49 1 type AnnExpr r3s = (r3s, Expr r3s) ;
  50 1 data Expr r3q = Var [PrelBase.Char] |  App (AnnExpr r3q) (AnnExpr r3q) ;
  51 1 g _:_ _forall_ [a] => (a, Expr a) -> [[PrelBase.Char]] ;;