Re: The dreaded M-R

On 1/27/06, Benjamin Franksen wrote:

All normal bindings (i.e. using '=') should be as polymorphic and general as possible. An alternative symbol (':=') should be available,

I don't want to rain on any parade, but just let me point out that under the current grammar, := is a constructor. -- Taral "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra