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
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Added
A typed repair for PLAY0166 declares an undeclared produced event in the producing slice, with property types taken from the command properties it maps (concepts are kept) and DateTime for $context.occurred. The repair is not offered when a type is uncertain or conflicting, the producers are in other files, or the workspace has parse errors (#298)
PLAY0478 (information) reports a plain produces <Event> without for in a command that has one required scalar identifier, in the compiler, Monaco and the VS Code extension (#305)
A typed repair for PLAY0478 states for <identifier> on the production. It is not offered when it would change the model's language or semantic version, or where any other production's events land (#305)
Both repairs are available through the MCP server's repair tools, and the repairs view lists only repairs that a proposal will accept (#298)
The command examples in the commands documentation are compiled by the test suite so they stay valid (#305)
Changed
Diagnostic repairs are verified by finding the selected repair again and comparing it, so repairs that add or replace syntax nodes can be proposed, not only self-replacements
Proposing a repair through MCP returns the transaction's conflicts and diagnostics when the repair fails, and reports an unknown repair only when no repair matches the code and subject