Show an error message if any action doesn't assign all variables
Closed this issue · 4 comments
ajdavis commented
Such actions are ignored according to this comment, but the spec should fail to evaluate, with a helpful error.
lemmy commented
I suggest using "undefined" instead of "unassigned" because TLA+ does not have assignment.
will62794 commented
Nothing too fancy yet, but this should now be reported as an error in the UI (example spec).