Intrepid/prometeu-studio
Intrepid/prometeu-studio
4
0
Fork 0
Code Pull Requests Activity

implements PLN-0135 #29

Merged
bquarkz merged 1 commits from dev/pbs-lsp-rename-symbol into master 2026-09-22 05:54:46 +00:00
Conversation 0 Commits 1 Files Changed 28 +1467 -64
bquarkz commented 2026-09-22 05:47:04 +00:00
Owner
Copy Link

Add PBS rename as a validated WorkspaceEdit of physical identifier
sites on FrontendLanguageService. Identity is definition; locals and
params rename from their name span. Refuse aliases, virtual stdlib,
builtins, error labels, keywords, and collisions. Advertise
renameProvider with prepareProvider; refused cursors are LSP errors,
not empty success.

Housekeep DSC-0043 with LSN-0072.

Add PBS rename as a validated WorkspaceEdit of physical identifier sites on FrontendLanguageService. Identity is definition; locals and params rename from their name span. Refuse aliases, virtual stdlib, builtins, error labels, keywords, and collisions. Advertise renameProvider with prepareProvider; refused cursors are LSP errors, not empty success. Housekeep DSC-0043 with LSN-0072.
bquarkz added 1 commit 2026-09-22 05:47:05 +00:00
implements PLN-0135
Some checks are pending
Intrepid/Prometeu/Studio/pipeline/pr-master Build started...
Details
JaCoCo Coverage #### Project Overview No changes detected, that affect the code coverage. * Line Coverage: 63.56% (19159/30145) * Branch Coverage: 54.14% (7612/14060) * Lines of Code: 30145 * Cyclomatic Complexity: 12214 #### Quality Gates Summary Output truncated.
Details
Test / Build skipped: 15, passed: 678
Details
Intrepid/Prometeu/Studio/pipeline/head This commit looks good
Details
65d2d40310 
Add PBS rename as a validated WorkspaceEdit of physical identifier
sites on FrontendLanguageService. Identity is definition; locals and
params rename from their name span. Refuse aliases, virtual stdlib,
builtins, error labels, keywords, and collisions. Advertise
renameProvider with prepareProvider; refused cursors are LSP errors,
not empty success.

Housekeep DSC-0043 with LSN-0072.
bquarkz scheduled this pull request to auto merge when all checks succeed 2026-09-22 05:47:25 +00:00
bquarkz merged commit 6f45f4f205 into master 2026-09-22 05:54:46 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
Sawyer bquarkz maria-fornazari zcorner
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Intrepid/prometeu-studio#29
No description provided.
Delete Branch "dev/pbs-lsp-rename-symbol"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?