ghc/tests/typecheck/should_compile/tc090.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds
   6 [taBh]
   7 [d.Ord_aBq]
   8 [([taBh], a{-r3h,x-}, a_aBf), ([taBh], b{-r3i,x-}, b_aBg)]
   9     d.Ord_aBs = d.Ord_aBq
  10     b_aBv = b{-r3i,x-} taBh d.Ord_aBs
  11     d.Ord_aBu = d.Ord_aBq
  12     a_aBw = a{-r3h,x-} taBh d.Ord_aBu
  13     a_aBf = b_aBv
  14     b_aBg = a_aBw
  15 ghc: module version changed to 1; reason: no old .hi file
  16 _interface_ ShouldSucceed 1
  17 _instance_modules_
  18 ArrBase IO PrelNum
  19 _usages_
  20 PrelBase 1 :: $d15 1 $d16 1 $d33 1 $d35 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Ord 1 Ordering 1;
  21 PrelNum 1 :: $d17 1 $d18 1;
  22 _exports_
  23 ShouldSucceed a b;
  24 _declarations_
  25 1 a _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;
  26 1 b _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;