
Why not steal a good idea from Standard ML/New Jersey now and again? This has "Or-patterns" which allow you to match against a disjunction of patterns, EG fun sleepIn (Date.Sat | Date.Sun) = true | sleepIn _ = false Where you have variables in the patterns, you bind only the variables which appear in all the patterns, and you unify the types accordingly. Of course you can do without this feature, but I feel it shouldn't be too hard to implement and for me at least it would be occasionally useful.

Mon, 04 Dec 2000 17:17:42 +0100, George Russell
Where you have variables in the patterns, you bind only the variables which appear in all the patterns, and you unify the types accordingly.
Or bind them all (otherwise there would be _ written) and get bottom in case the matching subpattern did not bind the given variable. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK
participants (2)
-
George Russell
-
qrczak@knm.org.pl