Argument passing to main function in Pancake.
Open
Pancake
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
A mechanism for passing arguments to Pancake's main function would be a usability improvement.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating Pancake's main function and the existing program invocation path. Determine how command-line arguments should reach main, including the intended interface and behavior. Done means the mechanism is specified, implemented across the relevant verified compiler components, and covered by tests or examples.
Written by the indexing model from the issue text.
Assessment
- Domain
- cli, compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100