Linearity Requirement for Patterns

Samuel E. Moelius III
Tue, 13 Mar 2001 19:55:56 -0600

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

Sam Moelius