Bang patterns, ~ patterns, and lazy let

[Ross Paterson]

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)?