Or-patterns

[Simon Peyton-Jones]

Sensible suggestion

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.

Simon

| -----Original Message-----
| From: George Russell [mailto:ger@Informatik.Uni-Bremen.DE]
| Sent: 04 December 2000 16:18
| To: glasgow-haskell-users@haskell.org
| 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
| |   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
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
|