The Haskell Report says of n+k patterns:

"A n+k pattern can only be matched against a value in 
the class Integral."

This seems far too strong.   All that is needed are Ord (for the >= and
and Num (for fromInteger), and indeed that's what GHC requires. 
Do Hugs or nhc actually require Integral?

In any case,  I propose to change "Integral" to "Ord and Num".

Does anyone think this is the Wrong Thing?

How this bug has lasted so long I don't know.


Haskell mailing list

Reply via email to