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

   1 Typechecked:
   2 d.Num.t19 = dfun.Num.Integer
   3 d.Num.t17 = dfun.Num.Integer
   4 fromInt.t16 = fromInt tt14 d.Num.t17
   5 lit.t15 = fromInt.t16 (MkInt 3#)
   6 fromInt.t18 = fromInt tt12 d.Num.t19
   7 lit.t13 = fromInt.t18 (MkInt 1#)
   8 fromInt.t20 = fromInt.t16
   9 lit.t11 = fromInt.t20 (MkInt 2#)
  10 lit.t9 = lit.t13
  11 AbsBinds
  12 []
  13 []
  14 [(c.t3, ShouldSucceed.c), (d.t4, ShouldSucceed.d), (e.t5, ShouldSucceed.e)]
  15     {- nonrec -}
  16     (c.t3@(d.t4, e.t5)) :: (tt12, tt14)
  17     (c.t3@(d.t4, e.t5)) = if True then (lit.t9, lit.t11) else (lit.t13, lit.t15)
  18
  19 =-=-=-=-=INTERFACE STARTS HERE=-=-=-=-= ShouldSucceed
  20 interface ShouldSucceed where
  21 c :: (tt12, tt14) {-# ARITY _ = 0 #-}
  22 d :: tt12 {-# ARITY _ = 0 #-}
  23 e :: tt14 {-# ARITY _ = 0 #-}
  24 =-=-=-=-=INTERFACE STOPS  HERE=-=-=-=-=
  25