Skip to content

Use typer for friendlier CLI, static typing at app entrypoint - #197

Merged
Tobias-Fischer merged 2 commits into
RoboStack:masterfrom
EzraBrooks:typer-cli
Nov 12, 2026
Merged

Tobias-Fischer merged 2 commits into
RoboStack:masterfrom
EzraBrooks:typer-cli

Conversation

@EzraBrooks

Copy link
Copy Markdown
Contributor

Was able to fill in a couple more trivially-inferable gaps with pyrefly infer after this refactor

The options are now typed function parameters instead of an argparse Namespace. -s/--skip becomes a repeatable list option; previously its single string value was split into characters by list().
Ran pyrefly infer over every non-test module at once. generate_template now opens its Traversable template through Traversable.open.
@EzraBrooks
EzraBrooks marked this pull request as ready for review November 12, 2026 19:19
@Tobias-Fischer
Tobias-Fischer merged commit 803d82a into RoboStack:master Nov 12, 2026
3 checks passed
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