Daniel (>), Carl (>>), svn log, speaking on larry's behalf (>>>):
> > +The string concatenating form is:
> > +
> > +    <a b> X~X <1 2>           #  'a1', 'a2', 'b1', 'b2'
> > +
> > +The C<X~X> operator desugars to something like:
> > +
> > +    [~]�( <a b> X <1 2> )  #  'a1', 'a2', 'b1', 'b2'
                     ^

> If the C<X> variant already concatenates strings, why is it done
> explicitly in the desugaring of C<X~X>? Probably not what you
> intended.

I think it's just that the change is incomplete. It looks like the X
I've marked should have been changed to a XX.

Yes, I suspected so too, though I wasn't sure so I didn't write it. :)

Even better, it could be changed into C<X,X>, unnecessitating another
desugaring (mental or parse-al).

// Carl

Reply via email to