RE: [Haskell-cafe] Re: Bug in GADT Implementation?

2007-05-28 Thread Simon Peyton-Jones
| > I suppose I could read my example as "if there is anything that matches | > Range BITSTRING _ _ then do the following" and since nothing can ever | > match it then it's a redundant case. But I would expect the compiler to | > at least warn me that nothing can ever match this. | | Why is there n

[Haskell-cafe] Re: Bug in GADT Implementation?

2007-05-26 Thread Arie Peterson
Dominic Steinitz wrote: > I suppose I could read my example as "if there is anything that matches > Range BITSTRING _ _ then do the following" and since nothing can ever > match it then it's a redundant case. But I would expect the compiler to > at least warn me that nothing can ever match this.