Skip to content

Fix duplicate invocations - #117

Merged
istathar merged 3 commits into
technique-lang:mainfrom
istathar:fix-duplication
Jun 16, 2026
Merged

Fix duplicate invocations#117
istathar merged 3 commits into
technique-lang:mainfrom
istathar:fix-duplication

Conversation

@istathar

@istathar istathar commented Jun 16, 2026

Copy link
Copy Markdown
Member

Fix a bug whereby procedures invoked from section titles would be evaluated twice.

Refine the correctness of the recorded log in the PFTTT files to include a Begin for every procedure, step, or other scope entered to pair with its recorded Done / Skip / Fail result judgment.

@istathar istathar self-assigned this Jun 16, 2026
@istathar
istathar merged commit e1fba33 into technique-lang:main Jun 16, 2026
1 check passed
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