Linearity Requirement for Patterns

[Samuel E. Moelius III]

What is the reasoning for the requirement that patterns be linear?  Am I
correct to say that if non-linear patterns were allowed, it would require
equality to be defined for all data types?  Is this the reason, or are there
others?

Sam Moelius


_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe