ghc/tests/typecheck/should_compile/tc077.stderr

   1 ==================== Typechecked ====================
   2 ONE{-r7,x-}{i} = ONE{-r7,x-}{i} {}
   3 TWO{-r6,x-}{i} = TWO{-r6,x-}{i} {}
   4 AbsBinds [] [] [([], $d1{-rCy,x-}, d.Eval_aCn)]
   5     d.Eval_aCn = ({-dict-} [] [])
   6 scsel_EQShouldSucceedORD{-aCB,x-} =
   7     _/\_ t12 -> \ tpl_B1 ->
   8         case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3  ->
   9         tpl_B1;}
  10 scsel_EQPrelBaseShow{-aCA,x-} =
  11     _/\_ t12 -> \ tpl_B1 ->
  12         case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  13         tpl_B2;}
  14 ==={-r3p,x-} =
  15     _/\_ t12 -> \ tpl_B1 ->
  16         case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  17         tpl_B3;}
  18 AbsBinds [taCu] [d.EQ_aCq] []
  19 scsel_ORDPrelBaseNum{-aCz,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  20 AbsBinds [taCv] [d.ORD_aCt] []
  21
  22 ghc: module version changed to 1; reason: no old .hi file
  23 _interface_ ShouldSucceed 1
  24 _instance_modules_
  25 ArrBase IO PrelNum
  26 _usages_
  27 PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  28 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  29 _exports_
  30 ShouldSucceed EQ(===) NUM(ONE TWO) ORD;
  31 _instances_
  32 instance {PrelBase.Eval NUM} = $d1;
  33 _declarations_
  34 1 $d1 _:_ {PrelBase.Eval NUM} ;;
  35 1 class {ORD a, PrelBase.Show a} => EQ a where {=== :: a -> a -> PrelBase.Bool} ;
  36 1 data NUM = ONE |  TWO ;
  37 1 class {PrelBase.Num a} => ORD a ;