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

   1 Typechecked:
   2 AbsBinds [b.t0] [d.Eq.t1] [(d.Eq.t2, dfun.Eq.ShouldSucc.B)]
   3     (d.Eq.t21, d.Eq.t1)
   4     (==.t12, (==) b.t0 d.Eq.t21)
   5     (d.Eq.t22, d.Eq.t2)
   6     (==.t19, (==) (ShouldSucc.B b.t0) d.Eq.t22)
   7     {- rec -}
   8     d.Eq.t2 = ({-dict-} [] [==.t3, /=.t4])
   9     (==.t3) :: ShouldSucc.B b.t0 -> ShouldSucc.B b.t0 -> Bool
  10     (==.t3)
  11         ShouldSucc.X ShouldSucc.X
  12                 = True
  13     (==.t3)
  14         (ShouldSucc.Y a.r17) (ShouldSucc.Y b.r18)
  15                 = a.r17 ==.t12 b.r18
  16     (==.t3)
  17         a.r19 b.r20
  18                 = False
  19     (/=.t4) :: ShouldSucc.B b.t0 -> ShouldSucc.B b.t0 -> Bool
  20     (/=.t4)
  21         a.r21 b.r22
  22                 = not (a.r21 ==.t19 b.r22)
  23 AbsBinds [a.t23] [d.Eq.t24] [(d.Eq.t25, dfun.Eq.ShouldSucc.T)]
  24     (d.Eq.t45, d.Eq.t24)
  25     (d.Eq.t44, dfun.Eq.ShouldSucc.B a.t23 d.Eq.t45)
  26     (==.t33, (==) (ShouldSucc.B a.t23) d.Eq.t44)
  27     (d.Eq.t46, d.Eq.t25)
  28     (==.t42, (==) (ShouldSucc.T a.t23) d.Eq.t46)
  29     {- rec -}
  30     d.Eq.t25 = ({-dict-} [] [==.t26, /=.t27])
  31     (==.t26) :: ShouldSucc.T a.t23 -> ShouldSucc.T a.t23 -> Bool
  32     (==.t26)
  33         (ShouldSucc.D x.r24) (ShouldSucc.D y.r25)
  34                 = x.r24 ==.t33 y.r25
  35     (==.t26)
  36         ShouldSucc.C ShouldSucc.C
  37                 = True
  38     (==.t26)
  39         a.r26 b.r27
  40                 = False
  41     (/=.t27) :: ShouldSucc.T a.t23 -> ShouldSucc.T a.t23 -> Bool
  42     (/=.t27)
  43         a.r28 b.r29
  44                 = not (a.r28 ==.t42 b.r29)
  45