New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: pattern matching in progress #449

Closed

ayhon wants to merge 2 commits into AeneasVerif:main from ayhon:feat/patter-matching-in-progress

Contributor

ayhon commented Mar 6, 2025

Current limitations:

I still haven't adapted the progressWith code so it assigns to the given identifier the actual exists object. For now, it's just as if we only gave one identifier.
With the current solution progress? doesn't give the right TryThis suggestion, since now progress only accepts one identifier. Therefore, we'd need to rework progress?.

ayhon added 2 commits

March 6, 2025 15:57


          refactor: process progress arguments in a separate function

618b09c


          wip: pattern matching in progress

ad52b26

ayhon closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet