Support for multi-case functions defined by pattern matching
Open
enhancement
help wanted
high effort
low reward
user experience
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
Function declarations currently only accept variables as arguments, but in SML one can do pattern matching with a declaration. CakeML AST does not support that, but the parser could generate the corresponding case expression on the tuple of argument variables. Or the AST could be augmented, if necessary, to do something more sophisticated.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.