Skip to content

Add explicit source locations instead of auto-location where appropriate - #565

Merged
LPTK merged 5 commits into
hkust-taco:hkmc2from
LPTK:codex/explicit-source-locations
Sep 30, 2026
Merged

LPTK merged 5 commits into
hkust-taco:hkmc2from
LPTK:codex/explicit-source-locations

Conversation

@LPTK

@LPTK LPTK commented Sep 30, 2026 •

Copy link
Copy Markdown
Contributor

Previously, things like class definitions extended AutoLocated but provided their children through their subTerms, which led to silly locations. Such classes should use explicit location parameters instead.

Coded by Astra under my direction.

@LPTK LPTK added the slopfest label Sep 30, 2026
@LPTK
LPTK requested a lite review from Copilot September 30, 2026 06:16

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@LPTK
LPTK merged commit dfd089d into hkust-taco:hkmc2 Sep 30, 2026
1 check passed
@LPTK
LPTK deleted the codex/explicit-source-locations branch September 30, 2026 06:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants