Skip to content

Refine procedure declaration checks - #147

Merged
istathar merged 10 commits into
technique-lang:mainfrom
istathar:error-improvement
Aug 5, 2026
Merged

Refine procedure declaration checks #147
istathar merged 10 commits into
technique-lang:mainfrom
istathar:error-improvement

Conversation

@istathar

@istathar istathar commented Aug 4, 2026

Copy link
Copy Markdown
Member

The switch to a permissive boundary check for detecting possible procedure declarations was right, but various heuristics from before were defeating the improvement, resulting in error spans being anchored to the wrong token. Add test coverage for these scenarios and then refine the order in which tests are applied.

Also fixes masking that was incorrectly happening if a " was encountered in descriptive prose. Such a character does not begin a literal as those only occur in expressions.

Finishes with a considerable number of defensive and correctness improvements to address corner cases encountered during review.

@istathar istathar self-assigned this Aug 4, 2026
@istathar
istathar merged commit b651a29 into technique-lang:main Aug 5, 2026
1 check passed
@istathar
istathar deleted the error-improvement branch August 5, 2026 13:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant