Skip to content

feat: add --help/-h flags and CLI list argument parsing#34

Merged
danieljohnmorris merged 3 commits into
mainfrom
feature/cli-help-and-list-args
Feb 27, 2026
Merged

feat: add --help/-h flags and CLI list argument parsing#34
danieljohnmorris merged 3 commits into
mainfrom
feature/cli-help-and-list-args

Conversation

@danieljohnmorris
Copy link
Copy Markdown
Collaborator

Summary

  • ilo --help and ilo -h now show help text (previously treated as inline code, outputting empty AST)
  • CLI can now pass list arguments using [1,2,3] (bracketed) or 1,2,3 (bare comma) syntax
  • Updated help text, README.md, and SPEC.md with list argument examples

Test plan

  • cargo test — all 414 tests pass (374 unit + 40 integration)
  • 6 new integration tests: --help, -h, bracketed list args, bare comma list args
  • Manual verification: ilo --help, ilo -h, ilo 'f xs:L n>n;len xs' '[1,2,3]' → 3

- `ilo --help` and `ilo -h` now show help text (previously treated as inline code)
- CLI can now pass list arguments: `[1,2,3]` (bracketed) or `1,2,3` (bare comma)
- Add 6 integration tests covering both features
- Update README.md, SPEC.md, and help text with list arg examples
Bracket syntax requires shell quoting — show 1,2,3 as primary form.
@danieljohnmorris danieljohnmorris merged commit 9cbfbf2 into main Feb 27, 2026
1 check passed
@danieljohnmorris danieljohnmorris deleted the feature/cli-help-and-list-args branch February 27, 2026 19:19
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.

1 participant