Skip to content

Conversation

@ahelwer
Copy link
Collaborator

@ahelwer ahelwer commented Nov 28, 2025

Intended to facilitate merge of PR #177 and form test base for any further command line modifications.

Tried to minimize changes to actual code; mostly required injecting Format.formatter instances to capture output and also trapping calls to exit.

Copy link
Contributor

@damiendoligez damiendoligez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good.
I don't know why you have many functions with type annotations for the arguments and results (at first glance I would say the compiler can infer most of them) but it doesn't really hurt.

Signed-off-by: Andrew Helwer <[email protected]>
@ahelwer
Copy link
Collaborator Author

ahelwer commented Dec 18, 2025

The type annotations are a habit from rust/java I suppose. I like type annotations! Sometimes they also make error messages easier to understand. Yeah they make things verbose though.

@ahelwer ahelwer merged commit f9e0ce4 into tlaplus:main Dec 18, 2025
5 checks 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.

2 participants