ghc/compiler/tests/rename/rn008.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{-rNl,p-} ::
  14     {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
  15 PrelNum.$d33{-rNj,p-} ::
  16     {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
  17 PrelNum.$d29{-rNe,p-} ::
  18     {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
  19 PrelNum.$d18{-rN2,p-} ::
  20     {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
  21 PrelNum.$d16{-rN0,p-} ::
  22     {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
  23 PrelNum.$d10{-rMU,p-} ::
  24     {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
  25 PrelTup.$d9{-rKw,p-} ::
  26     _forall_
  27     [a_rWz b_rWA]
  28     {PrelBase.Eq{-23,p-} a_rWz, PrelBase.Eq{-23,p-} b_rWA}
  29     =>
  30     {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rWz b_rWA)}
  31 PrelTup.$d4{-rKe,p-} ::
  32     _forall_
  33     [a_rWw b_rWx]
  34     {PrelBase.Show{-2i,p-} a_rWw, PrelBase.Show{-2i,p-} b_rWx}
  35     =>
  36     {PrelBase.Show{-2i,p-} (a_rWw, b_rWx)}
  37 PrelTup.$d2{-rJS,p-} ::
  38     _forall_
  39     [a_rWr b_rWs c_rWt d_rWu]
  40     {PrelBase.Show{-2i,p-} a_rWr, PrelBase.Show{-2i,p-} b_rWs, PrelBase.Show{-2i,p-} c_rWt, PrelBase.Show{-2i,p-} d_rWu}
  41     =>
  42     {PrelBase.Show{-2i,p-} (a_rWr, b_rWs, c_rWt, d_rWu)}
  43 PrelTup.$d15{-rJN,p-} ::
  44     _forall_
  45     [a_rWm b_rWn c_rWo d_rWp]
  46     =>
  47     {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rWm b_rWn c_rWo d_rWp)}
  48 PrelTup.$d13{-rJL,p-} ::
  49     _forall_
  50     [a_rWj b_rWk]
  51     =>
  52     {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rWj b_rWk)}
  53 PrelTup.$d11{-rJJ,p-} ::
  54     _forall_
  55     [a_rWe b_rWf c_rWg d_rWh]
  56     {PrelBase.Eq{-23,p-} a_rWe, PrelBase.Eq{-23,p-} b_rWf, PrelBase.Eq{-23,p-} c_rWg, PrelBase.Eq{-23,p-} d_rWh}
  57     =>
  58     {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rWe b_rWf c_rWg d_rWh)}
  59 PrelBase.$d8{-rbZ,p-} ::
  60     {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
  61 PrelBase.$d7{-rbY,p-} ::
  62     {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
  63 PrelBase.$d54{-rbT,p-} ::
  64     {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
  65 PrelBase.$d46{-rbK,p-} ::
  66     {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
  67 PrelBase.$d44{-rbI,p-} ::
  68     _forall_ [a_rWc] => {PrelBase.Eval{-24,p-} [a_rWc]}
  69 PrelBase.$d42{-rbG,p-} ::
  70     {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
  71 PrelBase.$d41{-rbF,p-} ::
  72     {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
  73 PrelBase.$d39{-rbC,p-} ::
  74     {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
  75 PrelBase.$d38{-rbB,p-} ::
  76     {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
  77 PrelBase.$d37{-rbA,p-} ::
  78     {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
  79 PrelBase.$d33{-rbw,p-} ::
  80     {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
  81 PrelBase.$d32{-rbv,p-} ::
  82     {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
  83 PrelBase.$d3{-rbs,p-} ::
  84     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
  85 PrelBase.$d27{-rbp,p-} ::
  86     _forall_
  87     [a_rWa]
  88     {PrelBase.Eq{-23,p-} a_rWa}
  89     =>
  90     {PrelBase.Eq{-23,p-} [a_rWa]}
  91 PrelBase.$d21{-rbj,p-} ::
  92     _forall_
  93     [a_rW8]
  94     {PrelBase.Show{-2i,p-} a_rW8}
  95     =>
  96     {PrelBase.Show{-2i,p-} [a_rW8]}
  97 PrelBase.$d2{-rbh,p-} ::
  98     {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
  99 PrelBase.$d15{-rbc,p-} ::
 100     {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
 101 PrelBase.$d11{-rb8,p-} ::
 102     {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
 103 PrelBase.$d1{-rb6,p-} ::
 104     _forall_ [a_rW5 b_rW6] => {PrelBase.Show{-2i,p-} (a_rW5 -> b_rW6)}
 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_rJ8 b_rJ9]
 113          {PrelBase.Eq{-23,p-} a_rJ8, PrelBase.Eq{-23,p-} b_rJ9}
 114          =>
 115          {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rJ8 b_rJ9)}
 116 instance _forall_
 117          [a_rJb b_rJc]
 118          {PrelBase.Show{-2i,p-} a_rJb, PrelBase.Show{-2i,p-} b_rJc}
 119          =>
 120          {PrelBase.Show{-2i,p-} (a_rJb, b_rJc)}
 121 instance _forall_
 122          [a_rJe b_rJf c_rJg d_rJh]
 123          {PrelBase.Show{-2i,p-} a_rJe, PrelBase.Show{-2i,p-} b_rJf, PrelBase.Show{-2i,p-} c_rJg, PrelBase.Show{-2i,p-} d_rJh}
 124          =>
 125          {PrelBase.Show{-2i,p-} (a_rJe, b_rJf, c_rJg, d_rJh)}
 126 instance _forall_
 127          [a_rJj b_rJk c_rJl d_rJm]
 128          =>
 129          {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rJj b_rJk c_rJl d_rJm)}
 130 instance _forall_
 131          [a_rJo b_rJp]
 132          =>
 133          {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rJo b_rJp)}
 134 instance _forall_
 135          [a_rJr b_rJs c_rJt d_rJu]
 136          {PrelBase.Eq{-23,p-} a_rJr, PrelBase.Eq{-23,p-} b_rJs, PrelBase.Eq{-23,p-} c_rJt, PrelBase.Eq{-23,p-} d_rJu}
 137          =>
 138          {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rJr b_rJs c_rJt d_rJu)}
 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_rJw] => {PrelBase.Eval{-24,p-} [a_rJw]}
 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_rJy]
 154          {PrelBase.Eq{-23,p-} a_rJy}
 155          =>
 156          {PrelBase.Eq{-23,p-} [a_rJy]}
 157 instance _forall_
 158          [a_rJA]
 159          {PrelBase.Show{-2i,p-} a_rJA}
 160          =>
 161          {PrelBase.Show{-2i,p-} [a_rJA]}
 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_rJC b_rJD]
 167          =>
 168          {PrelBase.Show{-2i,p-} (a_rJC -> b_rJD)}
 169 PrelBase.$m=={-rc8,p-} ::
 170     _forall_
 171     [a_rj2]
 172     {PrelBase.Eq{-23,p-} a_rj2}
 173     =>
 174     a_rj2 -> a_rj2 -> PrelBase.Bool{-34,p-}
 175 PrelBase.$m/={-rc5,p-} ::
 176     _forall_
 177     [a_rj0]
 178     {PrelBase.Eq{-23,p-} a_rj0}
 179     =>
 180     a_rj0 -> a_rj0 -> PrelBase.Bool{-34,p-}
 181 class PrelBase.Eq{-23,p-} rlg_riY where {
 182     == ::
 183         rlg_riY -> rlg_riY -> PrelBase.Bool{-34,p-};
 184     /= ::
 185         rlg_riY -> rlg_riY -> PrelBase.Bool{-34,p-};
 186     }
 187 PrelBase.$mshowsPrec{-rcu,p-} ::
 188     _forall_
 189     [a_riW]
 190     {PrelBase.Show{-2i,p-} a_riW}
 191     =>
 192     PrelBase.Int{-3g,p-}
 193     -> a_riW -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-}
 194 type PrelBase.String{-rde,p-} =
 195     [PrelBase.Char{-38,p-}]
 196 PrelBase.$mshowList{-rct,p-} ::
 197     _forall_
 198     [a_riT]
 199     {PrelBase.Show{-2i,p-} a_riT}
 200     =>
 201     [a_riT] -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-}
 202 class PrelBase.Show{-2i,p-} riq_riR where {
 203     showsPrec ::
 204         PrelBase.Int{-3g,p-}
 205         -> riq_riR -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-};
 206     showList ::
 207         [riq_riR] -> PrelBase.String{-rde,p-} -> PrelBase.String{-rde,p-};
 208     }
 209 PrelBase.$m+{-rc2,p-} ::
 210     _forall_
 211     [a_riP]
 212     {PrelBase.Num{-2c,p-} a_riP}
 213     =>
 214     a_riP -> a_riP -> a_riP
 215 PrelBase.$m-{-rc4,p-} ::
 216     _forall_
 217     [a_riN]
 218     {PrelBase.Num{-2c,p-} a_riN}
 219     =>
 220     a_riN -> a_riN -> a_riN
 221 PrelBase.$m*{-rc1,p-} ::
 222     _forall_
 223     [a_riL]
 224     {PrelBase.Num{-2c,p-} a_riL}
 225     =>
 226     a_riL -> a_riL -> a_riL
 227 PrelBase.$mnegate{-rcr,p-} ::
 228     _forall_ [a_riJ] {PrelBase.Num{-2c,p-} a_riJ} => a_riJ -> a_riJ
 229 PrelBase.$mabs{-rcd,p-} ::
 230     _forall_ [a_riH] {PrelBase.Num{-2c,p-} a_riH} => a_riH -> a_riH
 231 PrelBase.$msignum{-rcv,p-} ::
 232     _forall_ [a_riF] {PrelBase.Num{-2c,p-} a_riF} => a_riF -> a_riF
 233 PrelBase.$mfromInteger{-rcl,p-} ::
 234     _forall_
 235     [a_riD]
 236     {PrelBase.Num{-2c,p-} a_riD}
 237     =>
 238     PrelBase.Integer{-3h,p-} -> a_riD
 239 PrelBase.$mfromInt{-rck,p-} ::
 240     _forall_
 241     [a_riB]
 242     {PrelBase.Num{-2c,p-} a_riB}
 243     =>
 244     PrelBase.Int{-3g,p-} -> a_riB
 245 class {PrelBase.Eq{-23,p-} riC_riz, PrelBase.Show{-2i,p-} riC_riz, PrelBase.Eval{-24,p-} riC_riz} => PrelBase.Num{-2c,p-} riC_riz where {
 246     + ::
 247         riC_riz -> riC_riz -> riC_riz;
 248     - ::
 249         riC_riz -> riC_riz -> riC_riz;
 250     * ::
 251         riC_riz -> riC_riz -> riC_riz;
 252     negate ::
 253         riC_riz -> riC_riz;
 254     abs ::
 255         riC_riz -> riC_riz;
 256     signum ::
 257         riC_riz -> riC_riz;
 258     fromInteger ::
 259         PrelBase.Integer{-3h,p-} -> riC_riz;
 260     fromInt ::
 261         PrelBase.Int{-3g,p-} -> riC_riz;
 262     }
 263 class PrelBase.Eval{-24,p-} rk6_rix
 264 {- rec -}
 265 ((i1{-r3y,x-}@((i2{-r3x,x-}@((i3{-r3w,x-}@i{-r3v,x-}))))), 1)
 266     =   j{-r3t,x-}
 267             1 1
 268 (Foo{-r3D,x-} j{-r3t,x-} 1 2)
 269     =   (k{-r3r,x-}, 1, 1, 2)
 270 (~~~~k{-r3r,x-}, 1, 2, 3)
 271     =   i{-r3v,x-}
 272             3
 273 {- rec -}
 274 ((f1{-r3C,x-}@((f2{-r3B,x-}@((f3{-r3A,x-}@f{-r3z,x-}))))), 1)
 275     =   g{-r3u,x-}
 276             1 1
 277 (Foo{-r3D,x-} g{-r3u,x-} 1 2)
 278     =   (h{-r3s,x-}, 1, 1, 2)
 279 (~~~~h{-r3s,x-}, 1, 2, 3)
 280     =   f{-r3z,x-}
 281             3
 282 data Foo{-r3E,x-} a_r3q =
 283     Foo{-r3D,x-} a_r3q PrelBase.Int{-3g,i-} PrelBase.Int{-3g,i-}
 284
 285 rn008.hs:12: Couldn't match the type
 286                  `Foo' against `PrelTup.(,,,) t{-aZY-} t{-aZZ-} t{-a100-}'
 287     Expected: `Foo (t{-aYw-} -> t{-aYC-} -> (t{-aYf-}, t{-aYr-}))'
 288     Inferred: `(t{-aZY-}, t{-aZZ-}, t{-a100-}, t{-a101-})'
 289     In a pattern binding:
 290         (`Foo' `j' 1 2)
 291             =   `(k, 1, 1, 2)'
 292
 293 rn008.hs:11: Couldn't match the type
 294                  `Foo' against `PrelTup.(,,,) t{-a102-} t{-a103-} t{-a104-}'
 295     Expected: `Foo (t{-aZp-} -> t{-aZv-} -> (t{-aZ8-}, t{-aZk-}))'
 296     Inferred: `(t{-a102-}, t{-a103-}, t{-a104-}, t{-a105-})'
 297     In a pattern binding:
 298         (`Foo' `g' 1 2)
 299             =   `(h, 1, 1, 2)'
 300
 301
 302 Compilation had errors