Linearity Requirement for Patterns

[Marcin 'Qrczak' Kowalczyk]

Fri, 16 Mar 2001 23:14:17 -0500, Dylan Thurston <dpt@math.harvard.edu> pisze:

> > If that were the reason, then to be consistent, there would be no
> > literals in patterns, as these are tested using equality.
> 
> Only numeric literals actually use the '==' operator, correct?

Yes. This is a hack which allows viewing numeric types as algebraic
types with many constructors, assuming that (==) definition is sane.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK