23 Aug
2012
23 Aug
'12
3:57 a.m.
Gael> The code I'm trying to port to Poly/ML is big, and we have used Gael> nested patterns in a lot of functions for years.
A total nitpick: I think most of the SML community knows this extension as "or-patterns", rather than "nested patterns".
--
Ian Zimmerman
gpg public key: 1024D/C6FF61AD
fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD
http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png
Rule 420: All persons more than eight miles high to leave the court.