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

[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.

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