Skip to content
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

Refactor CLI command handlers to use Either #357

Closed
Tracked by #345
shonfeder opened this issue Nov 23, 2022 · 0 comments · Fixed by #358
Closed
Tracked by #345

Refactor CLI command handlers to use Either #357

shonfeder opened this issue Nov 23, 2022 · 0 comments · Fixed by #358
Assignees
@shonfeder
Milestone
Transpillation to...

Comments

@shonfeder
Copy link
Contributor

shonfeder commented Nov 23, 2022 •
edited
Loading

To make the procedures executed by our CLI subcommands composable and easier to reason about, we agreed they should be refactored to use the Either type for modeling their error-prone computations.

See https://github.com/informalsystems/tnt/pull/353/files#diff-25b1f3e29a46fef945013dde9db621b68981b313bc94c2ffc76b0a2119a67ff0 for context.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shonfeder shonfeder

Labels
None yet
Projects
None yet
Milestone
Transpillation to ApalacheIR
Development

Successfully merging a pull request may close this issue.

Refactor CLI command handlers to use Either informalsystems/quint
1 participant
@shonfeder