search

tlaplus / rfcs

RFCs for changes to the TLA+ specification language
MIT License
13 stars 0 forks source link

Proposal (PlusCal): `action` keyword to write any TLA+ expressions WITHOUT generating an UNCHANGED statement. #12

Open lemmy opened 3 days ago

lemmy commented 3 days ago

See PR at https://github.com/tlaplus/tlaplus/pull/455

ahelwer commented 3 days ago

Can you provide an example of the updated syntax and how it would be translated, the use case, etc.?

This PR could be built upon to add tests for the new syntax: https://github.com/tlaplus/tlaplus/pull/937