Linearity Requirement for Patterns
Marcin 'Qrczak' Kowalczyk
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