I am trying to harness the power of light quotations when generating text. Here is my textgen component:
MapEntry has a textgen component associated with it. I am using no generators, just textgen.
With the light quotations in use, the model checker reports this issue:
And indeed when I try to go through with the build, I get errors:
What am I doing wrong here?
EDIT: it seems I'm getting a Java exception while this code is being typechecked, and I didn't notice. I don't think this is the direct cause for this issue, but I might as well bring it up: https://youtrack.jetbrains.com/issue/MPS-33181