Mon, 04 Dec 2000 17:17:42 +0100, George Russell <[EMAIL PROTECTED]> pisze:
> 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 ca
2000 16:18
| To: [EMAIL PROTECTED]
| Subject: Or-patterns
|
|
| 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
| | sl
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 varia