Wed, 6 Dec 2000 07:15:29 -0800
No technical problem, just one more thing to do.
If anyone feels inclined to implement it I'll gladly incorporate
the fruits of their labours in the GHC code base.
| -----Original Message-----
| From: George Russell [mailto:ger@Informatik.Uni-Bremen.DE]
| Sent: 04 December 2000 16:18
| To: email@example.com
| 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,
| 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.
| Glasgow-haskell-users mailing list