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.