> >But I think we can have the cake and eat it too, if we get rid of the
> >restriction (which I never liked) that operators beginning with : must be a
> >constructor: just define 
> >a := b = (a,b)
> 
> Unfortunately that won't work if := had been used in patterns.
Nonsense.  Of course constructors can be arbitrary symbols (and
identifiers), it just makes the compiler a little more complicated.

        -- Lennart

Reply via email to