Reply to Benjamin,
Reply to Denis,I'd be fine depricating /**/.You mean, deprecating /++/?No, I mean exactly what I said. /**/ has well defined semantics, changing it will cause problems that replacing it will not.
I'd also be fine with doing nothing. What I'd not be fine with is making /**/ nest.
