ghc/compiler/tests/rename/rn007.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 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                43 value signatures imported, out of 1157 read
   7                31 instance decls imported, out of 166 read
   8
   9
  10 ================================================================================
  11 Renamer:
  12 module Test where
  13 PrelNum.$d35{-rNn,p-} ::
  14     {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
  15 PrelNum.$d33{-rNl,p-} ::
  16     {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
  17 PrelNum.$d29{-rNg,p-} ::
  18     {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
  19 PrelNum.$d18{-rN4,p-} ::
  20     {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
  21 PrelNum.$d16{-rN2,p-} ::
  22     {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
  23 PrelNum.$d10{-rMW,p-} ::
  24     {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
  25 PrelTup.$d9{-rKy,p-} ::
  26     _forall_
  27     [a_rWB b_rWC]
  28     {PrelBase.Eq{-23,p-} a_rWB, PrelBase.Eq{-23,p-} b_rWC}
  29     =>
  30     {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rWB b_rWC)}
  31 PrelTup.$d4{-rKg,p-} ::
  32     _forall_
  33     [a_rWy b_rWz]
  34     {PrelBase.Show{-2i,p-} a_rWy, PrelBase.Show{-2i,p-} b_rWz}
  35     =>
  36     {PrelBase.Show{-2i,p-} (a_rWy, b_rWz)}
  37 PrelTup.$d2{-rJU,p-} ::
  38     _forall_
  39     [a_rWt b_rWu c_rWv d_rWw]
  40     {PrelBase.Show{-2i,p-} a_rWt, PrelBase.Show{-2i,p-} b_rWu, PrelBase.Show{-2i,p-} c_rWv, PrelBase.Show{-2i,p-} d_rWw}
  41     =>
  42     {PrelBase.Show{-2i,p-} (a_rWt, b_rWu, c_rWv, d_rWw)}
  43 PrelTup.$d15{-rJP,p-} ::
  44     _forall_
  45     [a_rWo b_rWp c_rWq d_rWr]
  46     =>
  47     {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rWo b_rWp c_rWq d_rWr)}
  48 PrelTup.$d13{-rJN,p-} ::
  49     _forall_
  50     [a_rWl b_rWm]
  51     =>
  52     {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rWl b_rWm)}
  53 PrelTup.$d11{-rJL,p-} ::
  54     _forall_
  55     [a_rWg b_rWh c_rWi d_rWj]
  56     {PrelBase.Eq{-23,p-} a_rWg, PrelBase.Eq{-23,p-} b_rWh, PrelBase.Eq{-23,p-} c_rWi, PrelBase.Eq{-23,p-} d_rWj}
  57     =>
  58     {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rWg b_rWh c_rWi d_rWj)}
  59 PrelBase.$d8{-rc1,p-} ::
  60     {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
  61 PrelBase.$d7{-rc0,p-} ::
  62     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  63 PrelBase.$d54{-rbV,p-} ::
  64     {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
  65 PrelBase.$d46{-rbM,p-} ::
  66     {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
  67 PrelBase.$d44{-rbK,p-} ::
  68     _forall_ [a_rWe] => {PrelBase.Eval{-24,p-} [a_rWe]}
  69 PrelBase.$d42{-rbI,p-} ::
  70     {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
  71 PrelBase.$d41{-rbH,p-} ::
  72     {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
  73 PrelBase.$d39{-rbE,p-} ::
  74     {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
  75 PrelBase.$d38{-rbD,p-} ::
  76     {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
  77 PrelBase.$d37{-rbC,p-} ::
  78     {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
  79 PrelBase.$d33{-rby,p-} ::
  80     {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  81 PrelBase.$d32{-rbx,p-} ::
  82     {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
  83 PrelBase.$d3{-rbu,p-} ::
  84     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  85 PrelBase.$d27{-rbr,p-} ::
  86     _forall_
  87     [a_rWc]
  88     {PrelBase.Eq{-23,p-} a_rWc}
  89     =>
  90     {PrelBase.Eq{-23,p-} [a_rWc]}
  91 PrelBase.$d21{-rbl,p-} ::
  92     _forall_
  93     [a_rWa]
  94     {PrelBase.Show{-2i,p-} a_rWa}
  95     =>
  96     {PrelBase.Show{-2i,p-} [a_rWa]}
  97 PrelBase.$d2{-rbj,p-} ::
  98     {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
  99 PrelBase.$d15{-rbe,p-} ::
 100     {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
 101 PrelBase.$d11{-rba,p-} ::
 102     {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
 103 PrelBase.$d1{-rb8,p-} ::
 104     _forall_ [a_rW7 b_rW8] => {PrelBase.Show{-2i,p-} (a_rW7 -> b_rW8)}
 105 instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
 106 instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
 107 instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
 108 instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
 109 instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
 110 instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
 111 instance _forall_
 112          [a_rJa b_rJb]
 113          {PrelBase.Eq{-23,p-} a_rJa, PrelBase.Eq{-23,p-} b_rJb}
 114          =>
 115          {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rJa b_rJb)}
 116 instance _forall_
 117          [a_rJd b_rJe]
 118          {PrelBase.Show{-2i,p-} a_rJd, PrelBase.Show{-2i,p-} b_rJe}
 119          =>
 120          {PrelBase.Show{-2i,p-} (a_rJd, b_rJe)}
 121 instance _forall_
 122          [a_rJg b_rJh c_rJi d_rJj]
 123          {PrelBase.Show{-2i,p-} a_rJg, PrelBase.Show{-2i,p-} b_rJh, PrelBase.Show{-2i,p-} c_rJi, PrelBase.Show{-2i,p-} d_rJj}
 124          =>
 125          {PrelBase.Show{-2i,p-} (a_rJg, b_rJh, c_rJi, d_rJj)}
 126 instance _forall_
 127          [a_rJl b_rJm c_rJn d_rJo]
 128          =>
 129          {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rJl b_rJm c_rJn d_rJo)}
 130 instance _forall_
 131          [a_rJq b_rJr]
 132          =>
 133          {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rJq b_rJr)}
 134 instance _forall_
 135          [a_rJt b_rJu c_rJv d_rJw]
 136          {PrelBase.Eq{-23,p-} a_rJt, PrelBase.Eq{-23,p-} b_rJu, PrelBase.Eq{-23,p-} c_rJv, PrelBase.Eq{-23,p-} d_rJw}
 137          =>
 138          {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rJt b_rJu c_rJv d_rJw)}
 139 instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
 140 instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
 141 instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
 142 instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
 143 instance _forall_ [a_rJy] => {PrelBase.Eval{-24,p-} [a_rJy]}
 144 instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
 145 instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
 146 instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
 147 instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
 148 instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
 149 instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
 150 instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
 151 instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
 152 instance _forall_
 153          [a_rJA]
 154          {PrelBase.Eq{-23,p-} a_rJA}
 155          =>
 156          {PrelBase.Eq{-23,p-} [a_rJA]}
 157 instance _forall_
 158          [a_rJC]
 159          {PrelBase.Show{-2i,p-} a_rJC}
 160          =>
 161          {PrelBase.Show{-2i,p-} [a_rJC]}
 162 instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
 163 instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
 164 instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
 165 instance _forall_
 166          [a_rJE b_rJF]
 167          =>
 168          {PrelBase.Show{-2i,p-} (a_rJE -> b_rJF)}
 169 PrelBase.$m=={-rca,p-} ::
 170     _forall_
 171     [a_rj4]
 172     {PrelBase.Eq{-23,p-} a_rj4}
 173     =>
 174     a_rj4 -> a_rj4 -> PrelBase.Bool{-34,p-}
 175 PrelBase.$m/={-rc7,p-} ::
 176     _forall_
 177     [a_rj2]
 178     {PrelBase.Eq{-23,p-} a_rj2}
 179     =>
 180     a_rj2 -> a_rj2 -> PrelBase.Bool{-34,p-}
 181 class PrelBase.Eq{-23,p-} rlg_rj0 where {
 182     == ::
 183         rlg_rj0 -> rlg_rj0 -> PrelBase.Bool{-34,p-};
 184     /= ::
 185         rlg_rj0 -> rlg_rj0 -> PrelBase.Bool{-34,p-};
 186     }
 187 PrelBase.$mshowsPrec{-rcw,p-} ::
 188     _forall_
 189     [a_riY]
 190     {PrelBase.Show{-2i,p-} a_riY}
 191     =>
 192     PrelBase.Int{-3g,p-}
 193     -> a_riY -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-}
 194 type PrelBase.String{-rdg,p-} =
 195     [PrelBase.Char{-38,p-}]
 196 PrelBase.$mshowList{-rcv,p-} ::
 197     _forall_
 198     [a_riV]
 199     {PrelBase.Show{-2i,p-} a_riV}
 200     =>
 201     [a_riV] -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-}
 202 class PrelBase.Show{-2i,p-} riq_riT where {
 203     showsPrec ::
 204         PrelBase.Int{-3g,p-}
 205         -> riq_riT -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-};
 206     showList ::
 207         [riq_riT] -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-};
 208     }
 209 PrelBase.$m+{-rc4,p-} ::
 210     _forall_
 211     [a_riR]
 212     {PrelBase.Num{-2c,p-} a_riR}
 213     =>
 214     a_riR -> a_riR -> a_riR
 215 PrelBase.$m-{-rc6,p-} ::
 216     _forall_
 217     [a_riP]
 218     {PrelBase.Num{-2c,p-} a_riP}
 219     =>
 220     a_riP -> a_riP -> a_riP
 221 PrelBase.$m*{-rc3,p-} ::
 222     _forall_
 223     [a_riN]
 224     {PrelBase.Num{-2c,p-} a_riN}
 225     =>
 226     a_riN -> a_riN -> a_riN
 227 PrelBase.$mnegate{-rct,p-} ::
 228     _forall_ [a_riL] {PrelBase.Num{-2c,p-} a_riL} => a_riL -> a_riL
 229 PrelBase.$mabs{-rcf,p-} ::
 230     _forall_ [a_riJ] {PrelBase.Num{-2c,p-} a_riJ} => a_riJ -> a_riJ
 231 PrelBase.$msignum{-rcx,p-} ::
 232     _forall_ [a_riH] {PrelBase.Num{-2c,p-} a_riH} => a_riH -> a_riH
 233 PrelBase.$mfromInteger{-rcn,p-} ::
 234     _forall_
 235     [a_riF]
 236     {PrelBase.Num{-2c,p-} a_riF}
 237     =>
 238     PrelBase.Integer{-3h,p-} -> a_riF
 239 PrelBase.$mfromInt{-rcm,p-} ::
 240     _forall_
 241     [a_riD]
 242     {PrelBase.Num{-2c,p-} a_riD}
 243     =>
 244     PrelBase.Int{-3g,p-} -> a_riD
 245 class {PrelBase.Eq{-23,p-} riC_riB, PrelBase.Show{-2i,p-} riC_riB, PrelBase.Eval{-24,p-} riC_riB} => PrelBase.Num{-2c,p-} riC_riB where {
 246     + ::
 247         riC_riB -> riC_riB -> riC_riB;
 248     - ::
 249         riC_riB -> riC_riB -> riC_riB;
 250     * ::
 251         riC_riB -> riC_riB -> riC_riB;
 252     negate ::
 253         riC_riB -> riC_riB;
 254     abs ::
 255         riC_riB -> riC_riB;
 256     signum ::
 257         riC_riB -> riC_riB;
 258     fromInteger ::
 259         PrelBase.Integer{-3h,p-} -> riC_riB;
 260     fromInt ::
 261         PrelBase.Int{-3g,p-} -> riC_riB;
 262     }
 263 class PrelBase.Eval{-24,p-} rk6_riz
 264 {- rec -}
 265 ((i1{-r3z,x-}@((i2{-r3y,x-}@((i3{-r3x,x-}@i{-r3w,x-}))))), 1)
 266     =   j{-r3u,x-}
 267             1 1
 268 (Foo{-r3F,x-} j{-r3u,x-} 1 2)
 269     =   (k{-r3s,x-}, 1, 1, 2)
 270 (~~~~k{-r3s,x-}, 1, 2, 3)
 271     =   i{-r3w,x-}
 272             3
 273 {- rec -}
 274 ((f1{-r3D,x-}@((f2{-r3C,x-}@((f3{-r3B,x-}@f{-r3A,x-}))))), 1)
 275     =   g{-r3v,x-}
 276             1 1
 277 (Foo{-r3F,x-} g{-r3v,x-} 1 2)
 278     =   (h{-r3t,x-}, 1, 1, 2)
 279 (~~~~h{-r3t,x-}, 1, 2, 3)
 280     =   f{-r3A,x-}
 281             3
 282 {- rec -}
 283 a{-r3E,x-}
 284     =   a{-r3E,x-}
 285 data Foo{-r3G,x-} a_r3r =
 286     Foo{-r3F,x-} a_r3r PrelBase.Int{-3g,i-} PrelBase.Int{-3g,i-}
 287
 288 rn007.hs:19: Couldn't match the type
 289                  `Foo' against `PrelTup.(,,,) t{-a104-} t{-a105-} t{-a106-}'
 290     Expected: `Foo (t{-aYy-} -> t{-aYE-} -> (t{-aYh-}, t{-aYt-}))'
 291     Inferred: `(t{-a104-}, t{-a105-}, t{-a106-}, t{-a107-})'
 292     In a pattern binding:
 293         (`Foo' `j' 1 2)
 294             =   `(k, 1, 1, 2)'
 295
 296 rn007.hs:18: Couldn't match the type
 297                  `Foo' against `PrelTup.(,,,) t{-a108-} t{-a109-} t{-a10a-}'
 298     Expected: `Foo (t{-aZr-} -> t{-aZx-} -> (t{-aZa-}, t{-aZm-}))'
 299     Inferred: `(t{-a108-}, t{-a109-}, t{-a10a-}, t{-a10b-})'
 300     In a pattern binding:
 301         (`Foo' `g' 1 2)
 302             =   `(h, 1, 1, 2)'
 303
 304
 305 Compilation had errors