Skip to content

More sanity checks#121

Merged
acl-cqc merged 3 commits into
mainfrom
acl/more_sanity_checks
May 15, 2026
Merged

More sanity checks#121
acl-cqc merged 3 commits into
mainfrom
acl/more_sanity_checks

Conversation

@acl-cqc

@acl-cqc acl-cqc commented May 15, 2026

Copy link
Copy Markdown
Collaborator
  • When we ELup an end (returns None if not defined), error if the end has not been Declare'd
  • When we mkYield on a set of ends, error if any have not been Declare'd

@acl-cqc acl-cqc requested a review from croyzor May 15, 2026 17:08
Comment thread brat/Brat/Checker/Monad.hs Outdated
@acl-cqc acl-cqc merged commit 2dbfeb5 into main May 15, 2026
1 check passed
@acl-cqc acl-cqc deleted the acl/more_sanity_checks branch May 15, 2026 17:13
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.

2 participants