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

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.

Why is there nothing that can match 'Range BITSTRING _ _'? Some other module may define an instance 'Ord BitString'. Kind regards, Arie -- making someone not survive must surely count as non-verbal communication - bring