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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 MkPair{-r3n,x-}{i} =
   7     _/\_ a{-r3k-} b{-r3l-} -> \ tpl_B1 tpl_B2 ->
   8         MkPair{-r3n,x-}{i}
   9             {_@_ a{-r3k-} _@_ b{-r3l-} tpl_B1 tpl_B2}
  10 {- rec -}
  11 AbsBinds
  12 [a{-aHg-}, b{-aHh-}]
  13 []
  14 [([a{-aHg-}, b{-aHh-}], $d1{-rHk,x-}, d.Eval_aHc)]
  15     d.Eval_aHc =
  16         ({-dict-} [] [])
  17 {- nonrec -}
  18 {- nonrec -}
  19 AbsBinds
  20 [t{-aGO-}, t{-aGR-}, a{-aGT-}]
  21 [d.Monad_aH3]
  22 [([t{-aGO-}, t{-aGR-}, a{-aGT-}], f{-r3m,x-}, f_aGG)]
  23     >>=_aHm =
  24         PrelBase.>>={-811,p-}
  25             a{-aGT-}
  26             d.Monad_aH3
  27     d.Monad_aH5 =
  28         d.Monad_aH3
  29     return_aHl =
  30         PrelBase.return{-816,p-}
  31             a{-aGT-}
  32             d.Monad_aH5
  33     f_aGG
  34         x_r3f   =   [ a_r3i |
  35                         (MkPair{-r3n,x-}{i} c_r3h a_r3i) <- x_r3f ]
  36 {- nonrec -}
  37 ghc: module version changed to 1; reason: no old .hi file
  38 _interface_ ShouldSucceed 1
  39 _instance_modules_
  40 ArrBase IO PrelNum
  41 _usages_
  42 PrelBase 1 :: $d37 1 $d39 1 $d41 1 $d46 1 Eval 1 Monad 1 MonadZero 1;
  43 _exports_
  44 ShouldSucceed f Pair(MkPair);
  45 _instances_
  46 instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $d1;
  47 _declarations_
  48 1 $d1 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
  49 1 data Pair r3k r3l = MkPair r3k r3l ;
  50 1 f _:_ _forall_ [a b c :: (* -> *)] {PrelBase.Monad c} => c (Pair a b) -> c b ;;