ghc/tests/typecheck/should_compile/tc090.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds
   3 [taBp]
   4 [d.Ord_aBy]
   5 [([taBp], a{-r3h,x-}, a_aBn), ([taBp], b{-r3i,x-}, b_aBo)]
   6     d.Ord_aBA = d.Ord_aBy
   7     b_aBE = b{-r3i,x-} taBp d.Ord_aBA
   8     d.Ord_aBC = d.Ord_aBy
   9     a_aBD = a{-r3h,x-} taBp d.Ord_aBC
  10     a_aBn = b_aBE
  11     b_aBo = a_aBD
  12
  13 ghc: module version changed to 1; reason: no old .hi file
  14 _interface_ ShouldSucceed 1
  15 _instance_modules_
  16 ArrBase IO PrelNum
  17 _usages_
  18 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;
  19 PrelNum 1 :: $d17 1 $d18 1;
  20 _exports_
  21 ShouldSucceed a b;
  22 _declarations_
  23 1 a _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;
  24 1 b _:_ _forall_ [ta] {PrelBase.Ord ta} => ta ;;