probcomp/Venturecxx

The /* problem

Opened this issue · 0 comments

axch commented

/* is conventional syntax for "begin block comment", and has been recently added to VentureScript as such. However, /* previously parsed as the two tokens / *, which means "select the whole trace". So now we have a syntax conflict. One workaround that works is to type / * for "select the whole trace"; but what is the right resolution? This falls under the general umbrella of #570.