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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 ONE{-r7,x-}{i} =
   7     ONE{-r7,x-}{i}
   8         {}
   9 TWO{-r6,x-}{i} =
  10     TWO{-r6,x-}{i}
  11         {}
  12 {- nonrec -}
  13 scsel_EQMORD{-aHj,x-} =
  14     _/\_ a{-r3k-} -> \ tpl_B1 ->
  15         case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  16         tpl_B1;}
  17 scsel_EQPrelBaseShow{-aHk,x-} =
  18     _/\_ a{-r3k-} -> \ tpl_B1 ->
  19         case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  20         tpl_B2;}
  21 ==={-r3q,x-} =
  22     _/\_ a{-r3k-} -> \ tpl_B1 ->
  23         case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  24         tpl_B3;}
  25 {- nonrec -}
  26 AbsBinds
  27 [a{-aHi-}]
  28 [d.EQ_aHb]
  29 [([a{-aHi-}], $m==={-rHl,x-}, ===_aHd)]
  30     AbsBinds [] [] [([], ===_aHd, ===_aHf)]
  31         ===_aHf
  32             =   GHCerr.noDefaultMethodError{-8k,p-}
  33                     (a{-aHi-}
  34                      -> a{-aHi-}
  35                      -> PrelBase.Bool{-34,p-}) "Class EQ Method ==="
  36 {- nonrec -}
  37 scsel_ORDPrelBaseNum{-aHm,x-} =
  38     _/\_ a{-r3p-} -> \ tpl_B1 ->
  39         tpl_B1
  40 {- nonrec -}
  41 {- rec -}
  42 AbsBinds [] [] [([], $d1{-rHp,x-}, d.Eval_aH8)]
  43     d.Eval_aH8 =
  44         ({-dict-} [] [])
  45 {- nonrec -}
  46 ghc: module version changed to 1; reason: no old .hi file
  47 _interface_ M 1
  48 _instance_modules_
  49 ArrBase IO PrelNum
  50 _usages_
  51 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
  52 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
  53 _exports_
  54 M EQ(===) NUM(ONE TWO) ORD;
  55 _instances_
  56 instance {PrelBase.Eval NUM} = $d1;
  57 _declarations_
  58 1 class {PrelBase.Num r3p} => ORD r3p ;
  59 1 $d1 _:_ {PrelBase.Eval NUM} ;;
  60 1 $m=== _:_ _forall_ [a] {EQ a} => a -> a -> PrelBase.Bool ;;
  61 1 class {ORD r3k, PrelBase.Show r3k} => EQ r3k where {=== :: r3k -> r3k -> PrelBase.Bool} ;
  62 1 data NUM = ONE |  TWO ;