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
MCP read-workspace view=repairs and propose-repair now offer a typed repair for PLAY0516, a slice that uses an event from a slice drawn after it. The repair moves the producing feature, slice or module, or an import line, ahead of the consumer. When the order comes from a glob, it adds an explicit import of the producer's file before the glob, which keeps importing new files. A repair is offered only when it fixes the finding without introducing new ones and leaves the model, identities and file placements unchanged; on models that do not compile to an executable model yet, that is proven on the source. (part of #413)
Fixed
Moving a feature or slice earlier among its siblings in a typed workspace edit now prints it at its new position instead of after the last sibling, so the move is no longer refused. (part of #413)