ghc/compiler/tests/rename/rn003.stderr

   1 Renamer stats: 5 interfaces read
   2                4 class decls imported, out of 17 read
   3                0 data decls imported (of which 0 abstractly), out of 9 read
   4                0 newtype decls imported (of which 0 abstractly), out of 0 read
   5                1 type synonym decls imported, out of 5 read
   6                37 value signatures imported, out of 1098 read
   7                25 instance decls imported, out of 114 read
   8
   9
  10 ================================================================================
  11 Renamer:
  12 module Foo where
  13 PrelNum.$d35{-rzT,p-} ::
  14     {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
  15 PrelNum.$d33{-rzR,p-} ::
  16     {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
  17 PrelNum.$d29{-rzM,p-} ::
  18     {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
  19 PrelNum.$d18{-rzA,p-} ::
  20     {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
  21 PrelNum.$d16{-rzy,p-} ::
  22     {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
  23 PrelNum.$d10{-rzs,p-} ::
  24     {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
  25 PrelBase.$d8{-rey,p-} ::
  26     {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
  27 PrelBase.$d7{-rex,p-} ::
  28     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  29 PrelBase.$d54{-res,p-} ::
  30     {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
  31 PrelBase.$d46{-rej,p-} ::
  32     {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
  33 PrelBase.$d44{-reh,p-} ::
  34     _forall_ [a_rHM] => {PrelBase.Eval{-24,p-} [a_rHM]}
  35 PrelBase.$d42{-ref,p-} ::
  36     {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
  37 PrelBase.$d41{-ree,p-} ::
  38     {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
  39 PrelBase.$d39{-reb,p-} ::
  40     {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
  41 PrelBase.$d38{-rea,p-} ::
  42     {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
  43 PrelBase.$d37{-re9,p-} ::
  44     {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
  45 PrelBase.$d33{-re5,p-} ::
  46     {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  47 PrelBase.$d32{-re4,p-} ::
  48     {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
  49 PrelBase.$d3{-re1,p-} ::
  50     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  51 PrelBase.$d27{-rdY,p-} ::
  52     _forall_
  53     [a_rHK]
  54     {PrelBase.Eq{-23,p-} a_rHK}
  55     =>
  56     {PrelBase.Eq{-23,p-} [a_rHK]}
  57 PrelBase.$d21{-rdS,p-} ::
  58     _forall_
  59     [a_rHI]
  60     {PrelBase.Show{-2i,p-} a_rHI}
  61     =>
  62     {PrelBase.Show{-2i,p-} [a_rHI]}
  63 PrelBase.$d2{-rdQ,p-} ::
  64     {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
  65 PrelBase.$d15{-rdL,p-} ::
  66     {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
  67 PrelBase.$d11{-rdH,p-} ::
  68     {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
  69 PrelBase.$d1{-rdF,p-} ::
  70     _forall_ [a_rHF b_rHG] => {PrelBase.Show{-2i,p-} (a_rHF -> b_rHG)}
  71 instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
  72 instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
  73 instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
  74 instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
  75 instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
  76 instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
  77 instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
  78 instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  79 instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
  80 instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
  81 instance _forall_ [a_rx1] => {PrelBase.Eval{-24,p-} [a_rx1]}
  82 instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
  83 instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
  84 instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
  85 instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
  86 instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
  87 instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  88 instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
  89 instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  90 instance _forall_
  91          [a_rx3]
  92          {PrelBase.Eq{-23,p-} a_rx3}
  93          =>
  94          {PrelBase.Eq{-23,p-} [a_rx3]}
  95 instance _forall_
  96          [a_rx5]
  97          {PrelBase.Show{-2i,p-} a_rx5}
  98          =>
  99          {PrelBase.Show{-2i,p-} [a_rx5]}
 100 instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
 101 instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
 102 instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
 103 instance _forall_
 104          [a_rx7 b_rx8]
 105          =>
 106          {PrelBase.Show{-2i,p-} (a_rx7 -> b_rx8)}
 107 PrelBase.$m=={-reH,p-} ::
 108     _forall_
 109     [a_rkT]
 110     {PrelBase.Eq{-23,p-} a_rkT}
 111     =>
 112     a_rkT -> a_rkT -> PrelBase.Bool{-34,p-}
 113 PrelBase.$m/={-reE,p-} ::
 114     _forall_
 115     [a_rkR]
 116     {PrelBase.Eq{-23,p-} a_rkR}
 117     =>
 118     a_rkR -> a_rkR -> PrelBase.Bool{-34,p-}
 119 class PrelBase.Eq{-23,p-} rlg_rkP where {
 120     == ::
 121         rlg_rkP -> rlg_rkP -> PrelBase.Bool{-34,p-};
 122     /= ::
 123         rlg_rkP -> rlg_rkP -> PrelBase.Bool{-34,p-};
 124     }
 125 PrelBase.$mshowsPrec{-rf3,p-} ::
 126     _forall_
 127     [a_rkN]
 128     {PrelBase.Show{-2i,p-} a_rkN}
 129     =>
 130     PrelBase.Int{-3g,p-}
 131     -> a_rkN -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-}
 132 type PrelBase.String{-r5k,p-} =
 133     [PrelBase.Char{-38,p-}]
 134 PrelBase.$mshowList{-rf2,p-} ::
 135     _forall_
 136     [a_rkK]
 137     {PrelBase.Show{-2i,p-} a_rkK}
 138     =>
 139     [a_rkK] -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-}
 140 class PrelBase.Show{-2i,p-} riq_rkI where {
 141     showsPrec ::
 142         PrelBase.Int{-3g,p-}
 143         -> riq_rkI -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-};
 144     showList ::
 145         [riq_rkI] -> PrelBase.String{-r5k,p-} -> PrelBase.String{-r5k,p-};
 146     }
 147 class PrelBase.Eval{-24,p-} rk6_rkG
 148 PrelBase.$m+{-reB,p-} ::
 149     _forall_
 150     [a_rkE]
 151     {PrelBase.Num{-2c,p-} a_rkE}
 152     =>
 153     a_rkE -> a_rkE -> a_rkE
 154 PrelBase.$m-{-reD,p-} ::
 155     _forall_
 156     [a_rkC]
 157     {PrelBase.Num{-2c,p-} a_rkC}
 158     =>
 159     a_rkC -> a_rkC -> a_rkC
 160 PrelBase.$m*{-reA,p-} ::
 161     _forall_
 162     [a_rkA]
 163     {PrelBase.Num{-2c,p-} a_rkA}
 164     =>
 165     a_rkA -> a_rkA -> a_rkA
 166 PrelBase.$mnegate{-rf0,p-} ::
 167     _forall_ [a_rky] {PrelBase.Num{-2c,p-} a_rky} => a_rky -> a_rky
 168 PrelBase.$mabs{-reM,p-} ::
 169     _forall_ [a_rkw] {PrelBase.Num{-2c,p-} a_rkw} => a_rkw -> a_rkw
 170 PrelBase.$msignum{-rf4,p-} ::
 171     _forall_ [a_rku] {PrelBase.Num{-2c,p-} a_rku} => a_rku -> a_rku
 172 PrelBase.$mfromInteger{-reU,p-} ::
 173     _forall_
 174     [a_rks]
 175     {PrelBase.Num{-2c,p-} a_rks}
 176     =>
 177     PrelBase.Integer{-3h,p-} -> a_rks
 178 PrelBase.$mfromInt{-reT,p-} ::
 179     _forall_
 180     [a_rkq]
 181     {PrelBase.Num{-2c,p-} a_rkq}
 182     =>
 183     PrelBase.Int{-3g,p-} -> a_rkq
 184 class {PrelBase.Eq{-23,p-} riC_rko, PrelBase.Show{-2i,p-} riC_rko, PrelBase.Eval{-24,p-} riC_rko} => PrelBase.Num{-2c,p-} riC_rko where {
 185     + ::
 186         riC_rko -> riC_rko -> riC_rko;
 187     - ::
 188         riC_rko -> riC_rko -> riC_rko;
 189     * ::
 190         riC_rko -> riC_rko -> riC_rko;
 191     negate ::
 192         riC_rko -> riC_rko;
 193     abs ::
 194         riC_rko -> riC_rko;
 195     signum ::
 196         riC_rko -> riC_rko;
 197     fromInteger ::
 198         PrelBase.Integer{-3h,p-} -> riC_rko;
 199     fromInt ::
 200         PrelBase.Int{-3g,p-} -> riC_rko;
 201     }
 202 {- nonrec -}
 203 f{-r1,x-}
 204     x_r6p   =   x_r6p
 205 {- nonrec -}
 206 1   =   f{-r1,x-}
 207             1
 208 {- nonrec -}
 209 PrelBase.[]{-5i,i-}
 210     =   f{-r1,x-}
 211             PrelBase.[]{-5i,i-}
 212 {- nonrec -}
 213 1   =   f{-r1,x-}
 214             (f{-r1,x-}
 215                  1)
 216 {- nonrec -}
 217 PrelBase.[]{-5i,i-}
 218     =   f{-r1,x-}
 219             (f{-r1,x-}
 220                  PrelBase.[]{-5i,i-})