Linearity Requirement for Patterns

Marcin 'Qrczak' Kowalczyk [email protected]
17 Mar 2001 07:43:10 GMT


Fri, 16 Mar 2001 23:14:17 -0500, Dylan Thurston <[email protected]> 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 * [email protected] http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK