ghc/tests/typecheck/should_compile/tc066.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 MkPair{-r3o,x-}{i} =
   6     _/\_ a_tr3k b_tr3l -> \ tpl_B1 tpl_B2 ->
   7         MkPair{-r3o,x-}{i} {_@_ a_tr3k _@_ b_tr3l tpl_B1 tpl_B2}
   8 AbsBinds
   9 [taBY, taC1, aaC2]
  10 [d.Monad_aCe]
  11 [([taBY, taC1, aaC2], f{-r3m,x-}, f_aBM)]
  12     >>=_aCt = PrelBase.>>={-811,p-} aaC2 d.Monad_aCe
  13     d.Monad_aCg = d.Monad_aCe
  14     return_aCx = PrelBase.return{-816,p-} aaC2 d.Monad_aCg
  15     f_aBM x_r3f = [a_r3i | (MkPair{-r3o,x-}{i} c_r3h a_r3i) <- x_r3f]
  16 AbsBinds [taCr, taCs] [] [([taCr, taCs], $d1{-rCw,x-}, d.Eval_aCn)]
  17     d.Eval_aCn = ({-dict-} [] [])
  18 ghc: module version changed to 1; reason: no old .hi file
  19 _interface_ ShouldSucceed 1
  20 _instance_modules_
  21 ArrBase IO PrelNum
  22 _usages_
  23 PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 $m>> 1 Eval 1 Monad 1 MonadZero 1;
  24 _exports_
  25 ShouldSucceed f Pair(MkPair);
  26 _instances_
  27 instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $d1;
  28 _declarations_
  29 1 $d1 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
  30 1 data Pair a b = MkPair a b ;
  31 1 f _:_ _forall_ [ta tb ac :: (* -> *)] {PrelBase.Monad ac} => ac (Pair ta tb) -> ac tb ;;