ghc/compiler/tests/rename/rn017.stderr

   1 Renamer stats: 6 interfaces read
   2                4 class decls imported, out of 17 read
   3                0 data decls imported (of which 0 abstractly), out of 11 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 1101 read
   7                25 instance decls imported, out of 114 read
   8
   9
  10 ================================================================================
  11 Renamer:
  12 module Test where
  13 PrelNum.$d35{-ry8,p-} ::
  14     {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
  15 PrelNum.$d33{-ry6,p-} ::
  16     {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
  17 PrelNum.$d29{-ry1,p-} ::
  18     {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
  19 PrelNum.$d18{-rxP,p-} ::
  20     {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
  21 PrelNum.$d16{-rxN,p-} ::
  22     {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
  23 PrelNum.$d10{-rxH,p-} ::
  24     {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
  25 PrelBase.$d8{-rc4,p-} ::
  26     {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
  27 PrelBase.$d7{-rc3,p-} ::
  28     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  29 PrelBase.$d54{-rbY,p-} ::
  30     {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
  31 PrelBase.$d46{-rbP,p-} ::
  32     {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
  33 PrelBase.$d44{-rbN,p-} ::
  34     _forall_ [a_rGZ] => {PrelBase.Eval{-24,p-} [a_rGZ]}
  35 PrelBase.$d42{-rbL,p-} ::
  36     {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
  37 PrelBase.$d41{-rbK,p-} ::
  38     {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
  39 PrelBase.$d39{-rbH,p-} ::
  40     {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
  41 PrelBase.$d38{-rbG,p-} ::
  42     {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
  43 PrelBase.$d37{-rbF,p-} ::
  44     {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
  45 PrelBase.$d33{-rbB,p-} ::
  46     {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  47 PrelBase.$d32{-rbA,p-} ::
  48     {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
  49 PrelBase.$d3{-rbx,p-} ::
  50     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  51 PrelBase.$d27{-rbu,p-} ::
  52     _forall_
  53     [a_rGX]
  54     {PrelBase.Eq{-23,p-} a_rGX}
  55     =>
  56     {PrelBase.Eq{-23,p-} [a_rGX]}
  57 PrelBase.$d21{-rbo,p-} ::
  58     _forall_
  59     [a_rGV]
  60     {PrelBase.Show{-2i,p-} a_rGV}
  61     =>
  62     {PrelBase.Show{-2i,p-} [a_rGV]}
  63 PrelBase.$d2{-rbm,p-} ::
  64     {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
  65 PrelBase.$d15{-rbh,p-} ::
  66     {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
  67 PrelBase.$d11{-rbd,p-} ::
  68     {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
  69 PrelBase.$d1{-rbb,p-} ::
  70     _forall_ [a_rGS b_rGT] => {PrelBase.Show{-2i,p-} (a_rGS -> b_rGT)}
  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_rvg] => {PrelBase.Eval{-24,p-} [a_rvg]}
  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_rvi]
  92          {PrelBase.Eq{-23,p-} a_rvi}
  93          =>
  94          {PrelBase.Eq{-23,p-} [a_rvi]}
  95 instance _forall_
  96          [a_rvk]
  97          {PrelBase.Show{-2i,p-} a_rvk}
  98          =>
  99          {PrelBase.Show{-2i,p-} [a_rvk]}
 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_rvm b_rvn]
 105          =>
 106          {PrelBase.Show{-2i,p-} (a_rvm -> b_rvn)}
 107 PrelBase.$m=={-rcd,p-} ::
 108     _forall_
 109     [a_rj7]
 110     {PrelBase.Eq{-23,p-} a_rj7}
 111     =>
 112     a_rj7 -> a_rj7 -> PrelBase.Bool{-34,p-}
 113 PrelBase.$m/={-rca,p-} ::
 114     _forall_
 115     [a_rj5]
 116     {PrelBase.Eq{-23,p-} a_rj5}
 117     =>
 118     a_rj5 -> a_rj5 -> PrelBase.Bool{-34,p-}
 119 class PrelBase.Eq{-23,p-} rlg_rj3 where {
 120     == ::
 121         rlg_rj3 -> rlg_rj3 -> PrelBase.Bool{-34,p-};
 122     /= ::
 123         rlg_rj3 -> rlg_rj3 -> PrelBase.Bool{-34,p-};
 124     }
 125 PrelBase.$mshowsPrec{-rcz,p-} ::
 126     _forall_
 127     [a_rj1]
 128     {PrelBase.Show{-2i,p-} a_rj1}
 129     =>
 130     PrelBase.Int{-3g,p-}
 131     -> a_rj1 -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-}
 132 type PrelBase.String{-rdj,p-} =
 133     [PrelBase.Char{-38,p-}]
 134 PrelBase.$mshowList{-rcy,p-} ::
 135     _forall_
 136     [a_riY]
 137     {PrelBase.Show{-2i,p-} a_riY}
 138     =>
 139     [a_riY] -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-}
 140 class PrelBase.Show{-2i,p-} riq_riW where {
 141     showsPrec ::
 142         PrelBase.Int{-3g,p-}
 143         -> riq_riW -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-};
 144     showList ::
 145         [riq_riW] -> PrelBase.String{-rdj,p-} -> PrelBase.String{-rdj,p-};
 146     }
 147 PrelBase.$m+{-rc7,p-} ::
 148     _forall_
 149     [a_riU]
 150     {PrelBase.Num{-2c,p-} a_riU}
 151     =>
 152     a_riU -> a_riU -> a_riU
 153 PrelBase.$m-{-rc9,p-} ::
 154     _forall_
 155     [a_riS]
 156     {PrelBase.Num{-2c,p-} a_riS}
 157     =>
 158     a_riS -> a_riS -> a_riS
 159 PrelBase.$m*{-rc6,p-} ::
 160     _forall_
 161     [a_riQ]
 162     {PrelBase.Num{-2c,p-} a_riQ}
 163     =>
 164     a_riQ -> a_riQ -> a_riQ
 165 PrelBase.$mnegate{-rcw,p-} ::
 166     _forall_ [a_riO] {PrelBase.Num{-2c,p-} a_riO} => a_riO -> a_riO
 167 PrelBase.$mabs{-rci,p-} ::
 168     _forall_ [a_riM] {PrelBase.Num{-2c,p-} a_riM} => a_riM -> a_riM
 169 PrelBase.$msignum{-rcA,p-} ::
 170     _forall_ [a_riK] {PrelBase.Num{-2c,p-} a_riK} => a_riK -> a_riK
 171 PrelBase.$mfromInteger{-rcq,p-} ::
 172     _forall_
 173     [a_riI]
 174     {PrelBase.Num{-2c,p-} a_riI}
 175     =>
 176     PrelBase.Integer{-3h,p-} -> a_riI
 177 PrelBase.$mfromInt{-rcp,p-} ::
 178     _forall_
 179     [a_riG]
 180     {PrelBase.Num{-2c,p-} a_riG}
 181     =>
 182     PrelBase.Int{-3g,p-} -> a_riG
 183 class {PrelBase.Eq{-23,p-} riC_riE, PrelBase.Show{-2i,p-} riC_riE, PrelBase.Eval{-24,p-} riC_riE} => PrelBase.Num{-2c,p-} riC_riE where {
 184     + ::
 185         riC_riE -> riC_riE -> riC_riE;
 186     - ::
 187         riC_riE -> riC_riE -> riC_riE;
 188     * ::
 189         riC_riE -> riC_riE -> riC_riE;
 190     negate ::
 191         riC_riE -> riC_riE;
 192     abs ::
 193         riC_riE -> riC_riE;
 194     signum ::
 195         riC_riE -> riC_riE;
 196     fromInteger ::
 197         PrelBase.Integer{-3h,p-} -> riC_riE;
 198     fromInt ::
 199         PrelBase.Int{-3g,p-} -> riC_riE;
 200     }
 201 class PrelBase.Eval{-24,p-} rk6_riC
 202 {- nonrec -}
 203 f{-r3w,x-}
 204     x_r3n   =   x_r3n
 205 instance {FOO{-r3y,x-} Foo{-r3A,x-}} where
 206     []
 207     op_r3q
 208         x_r3s   =   42
 209 class FOO{-r3y,x-} a_r3v where {
 210     op ::
 211         a_r3v -> PrelBase.Int{-3g,i-};
 212     }
 213 data Foo{-r3A,x-} =
 214     MkFoo{-r3z,x-}