Skip to content

Remove Error Position#171

Open
rcosta358 wants to merge 1 commit intosave-failing-refinementsfrom
remove-error-position
Open

Remove Error Position#171
rcosta358 wants to merge 1 commit intosave-failing-refinementsfrom
remove-error-position

Conversation

@rcosta358
Copy link
Collaborator

This PR removes the ErrorPosition class which is unnecessary since we can use Spoon's SourcePosition in diagnostics instead.

Based on save-failing-refinements. After #170 is merged, the target branch should be changed to main.

@rcosta358 rcosta358 requested a review from CatarinaGamboa March 6, 2026 16:20
@rcosta358 rcosta358 self-assigned this Mar 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant