/* 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.
/*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.