7 Feb
2006
7 Feb
'06
3:48 a.m.
On Tue, Feb 07, 2006 at 09:02:36AM +0100, John Hughes wrote:
I would urge that either we stick with the present design, or, if bang patterns are added (which a lot speaks for), that the language be simplified at the same time so that patterns are matched in the same way everywhere, and BOTH warts above are excised. Some existing code would break, but in return the language would become simpler and more expressive.
Would top-level bindings of constructor patterns and !x be evaluated when the module was loaded (or at compile time)?