You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
rascal>data X = \hello-bye();
ok
rascal>\hello-bye()
X: \hello-bye()
rascal>data X(int \what-if=0);
ok
rascal>\hello-bye(\what-if=1)
X: \hello-bye(what-if=1)
Here we see \hello-bye is escaped as it should be, but what-if is not escaped. Copy-pasting this example print leads to a parse error immediately because of this.
The text was updated successfully, but these errors were encountered:
Describe the bug
Here we see
\hello-bye
is escaped as it should be, butwhat-if
is not escaped. Copy-pasting this example print leads to a parse error immediately because of this.The text was updated successfully, but these errors were encountered: