Show an error message if any action doesn't assign all variables

will62794 / tla-web

Interactive, web-based environment for exploring TLA+ specifications.

MIT License

69 stars 7 forks source link

Open ajdavis opened 4 months ago

ajdavis commented 4 months ago

Such actions are ignored according to this comment, but the spec should fail to evaluate, with a helpful error.

will62794 commented 2 months ago

Related: b0e1ae5.

lemmy commented 2 months ago

I suggest using "undefined" instead of "unassigned" because TLA+ does not have assignment.