The dreaded M-R

[Taral]

On 1/27/06, Benjamin Franksen <benjamin.franksen at bessy.de> 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 <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra