ghc/compiler/tests/rename/rn015.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 Test where
  13 PrelNum.$d35{-ryc,p-} ::
  14     {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
  15 PrelNum.$d33{-rya,p-} ::
  16     {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
  17 PrelNum.$d29{-ry5,p-} ::
  18     {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
  19 PrelNum.$d18{-rxT,p-} ::
  20     {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
  21 PrelNum.$d16{-rxR,p-} ::
  22     {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
  23 PrelNum.$d10{-rxL,p-} ::
  24     {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
  25 PrelBase.$d8{-rc9,p-} ::
  26     {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
  27 PrelBase.$d7{-rc8,p-} ::
  28     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  29 PrelBase.$d54{-rc3,p-} ::
  30     {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
  31 PrelBase.$d46{-rbU,p-} ::
  32     {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
  33 PrelBase.$d44{-rbS,p-} ::
  34     _forall_ [a_rH3] => {PrelBase.Eval{-24,p-} [a_rH3]}
  35 PrelBase.$d42{-rbQ,p-} ::
  36     {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
  37 PrelBase.$d41{-rbP,p-} ::
  38     {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
  39 PrelBase.$d39{-rbM,p-} ::
  40     {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
  41 PrelBase.$d38{-rbL,p-} ::
  42     {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
  43 PrelBase.$d37{-rbK,p-} ::
  44     {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
  45 PrelBase.$d33{-rbG,p-} ::
  46     {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  47 PrelBase.$d32{-rbF,p-} ::
  48     {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
  49 PrelBase.$d3{-rbC,p-} ::
  50     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  51 PrelBase.$d27{-rbz,p-} ::
  52     _forall_
  53     [a_rH1]
  54     {PrelBase.Eq{-23,p-} a_rH1}
  55     =>
  56     {PrelBase.Eq{-23,p-} [a_rH1]}
  57 PrelBase.$d21{-rbt,p-} ::
  58     _forall_
  59     [a_rGZ]
  60     {PrelBase.Show{-2i,p-} a_rGZ}
  61     =>
  62     {PrelBase.Show{-2i,p-} [a_rGZ]}
  63 PrelBase.$d2{-rbr,p-} ::
  64     {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
  65 PrelBase.$d15{-rbm,p-} ::
  66     {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
  67 PrelBase.$d11{-rbi,p-} ::
  68     {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
  69 PrelBase.$d1{-rbg,p-} ::
  70     _forall_ [a_rGW b_rGX] => {PrelBase.Show{-2i,p-} (a_rGW -> b_rGX)}
  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_rvk] => {PrelBase.Eval{-24,p-} [a_rvk]}
  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_rvm]
  92          {PrelBase.Eq{-23,p-} a_rvm}
  93          =>
  94          {PrelBase.Eq{-23,p-} [a_rvm]}
  95 instance _forall_
  96          [a_rvo]
  97          {PrelBase.Show{-2i,p-} a_rvo}
  98          =>
  99          {PrelBase.Show{-2i,p-} [a_rvo]}
 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_rvq b_rvr]
 105          =>
 106          {PrelBase.Show{-2i,p-} (a_rvq -> b_rvr)}
 107 PrelBase.$m=={-rci,p-} ::
 108     _forall_
 109     [a_rjb]
 110     {PrelBase.Eq{-23,p-} a_rjb}
 111     =>
 112     a_rjb -> a_rjb -> PrelBase.Bool{-34,p-}
 113 PrelBase.$m/={-rcf,p-} ::
 114     _forall_
 115     [a_rj9]
 116     {PrelBase.Eq{-23,p-} a_rj9}
 117     =>
 118     a_rj9 -> a_rj9 -> PrelBase.Bool{-34,p-}
 119 class PrelBase.Eq{-23,p-} rlg_rj7 where {
 120     == ::
 121         rlg_rj7 -> rlg_rj7 -> PrelBase.Bool{-34,p-};
 122     /= ::
 123         rlg_rj7 -> rlg_rj7 -> PrelBase.Bool{-34,p-};
 124     }
 125 PrelBase.$mshowsPrec{-rcE,p-} ::
 126     _forall_
 127     [a_rj5]
 128     {PrelBase.Show{-2i,p-} a_rj5}
 129     =>
 130     PrelBase.Int{-3g,p-}
 131     -> a_rj5 -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-}
 132 type PrelBase.String{-rdn,p-} =
 133     [PrelBase.Char{-38,p-}]
 134 PrelBase.$mshowList{-rcD,p-} ::
 135     _forall_
 136     [a_rj2]
 137     {PrelBase.Show{-2i,p-} a_rj2}
 138     =>
 139     [a_rj2] -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-}
 140 class PrelBase.Show{-2i,p-} riq_rj0 where {
 141     showsPrec ::
 142         PrelBase.Int{-3g,p-}
 143         -> riq_rj0 -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-};
 144     showList ::
 145         [riq_rj0] -> PrelBase.String{-rdn,p-} -> PrelBase.String{-rdn,p-};
 146     }
 147 class PrelBase.Eval{-24,p-} rk6_riY
 148 PrelBase.$m+{-rcc,p-} ::
 149     _forall_
 150     [a_riW]
 151     {PrelBase.Num{-2c,p-} a_riW}
 152     =>
 153     a_riW -> a_riW -> a_riW
 154 PrelBase.$m-{-rce,p-} ::
 155     _forall_
 156     [a_riU]
 157     {PrelBase.Num{-2c,p-} a_riU}
 158     =>
 159     a_riU -> a_riU -> a_riU
 160 PrelBase.$m*{-rcb,p-} ::
 161     _forall_
 162     [a_riS]
 163     {PrelBase.Num{-2c,p-} a_riS}
 164     =>
 165     a_riS -> a_riS -> a_riS
 166 PrelBase.$mnegate{-rcB,p-} ::
 167     _forall_ [a_riQ] {PrelBase.Num{-2c,p-} a_riQ} => a_riQ -> a_riQ
 168 PrelBase.$mabs{-rcn,p-} ::
 169     _forall_ [a_riO] {PrelBase.Num{-2c,p-} a_riO} => a_riO -> a_riO
 170 PrelBase.$msignum{-rcF,p-} ::
 171     _forall_ [a_riM] {PrelBase.Num{-2c,p-} a_riM} => a_riM -> a_riM
 172 PrelBase.$mfromInteger{-rcv,p-} ::
 173     _forall_
 174     [a_riK]
 175     {PrelBase.Num{-2c,p-} a_riK}
 176     =>
 177     PrelBase.Integer{-3h,p-} -> a_riK
 178 PrelBase.$mfromInt{-rcu,p-} ::
 179     _forall_
 180     [a_riI]
 181     {PrelBase.Num{-2c,p-} a_riI}
 182     =>
 183     PrelBase.Int{-3g,p-} -> a_riI
 184 class {PrelBase.Eq{-23,p-} riC_riG, PrelBase.Show{-2i,p-} riC_riG, PrelBase.Eval{-24,p-} riC_riG} => PrelBase.Num{-2c,p-} riC_riG where {
 185     + ::
 186         riC_riG -> riC_riG -> riC_riG;
 187     - ::
 188         riC_riG -> riC_riG -> riC_riG;
 189     * ::
 190         riC_riG -> riC_riG -> riC_riG;
 191     negate ::
 192         riC_riG -> riC_riG;
 193     abs ::
 194         riC_riG -> riC_riG;
 195     signum ::
 196         riC_riG -> riC_riG;
 197     fromInteger ::
 198         PrelBase.Integer{-3h,p-} -> riC_riG;
 199     fromInt ::
 200         PrelBase.Int{-3g,p-} -> riC_riG;
 201     }
 202 instance _forall_ [a_r3f] => {K{-r3J,x-} [a_r3f]} where
 203     []
 204     op3_r3h
 205         a_r3j   =   a_r3j
 206 instance {K{-r3J,x-} PrelBase.Bool{-34,i-}} where
 207     []
 208     op1_r3n
 209         a_r3p b_r3r
 210                 =   a_r3p
 211 instance {K{-r3J,x-} PrelBase.Int{-3g,i-}} where
 212     []
 213     op1_r3v
 214         a_r3x b_r3z
 215                 =   a_r3x PrelBase.+{-rb3,i-} b_r3z
 216     op2_r3B
 217         x_r3D   =   x_r3D
 218 class K{-r3J,x-} a_r3G where {
 219     op1 ::
 220         a_r3G -> a_r3G -> a_r3G;
 221     op2 ::
 222         PrelBase.Int{-3g,i-} -> a_r3G;
 223     }
 224
 225 rn015.hs:18: Class `K' does not have a method `op3'
 226
 227
 228 Compilation had errors