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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe