CakeML / CakeML/pure

Pattern matching improvements

Open
#50 0 comments 0 reactions 0 assignees View on GitHub
enhancement front end
Dominant language
Standard ML
Stars
44
Forks
5
PR merge metrics
No merged PRs in 30d

Description

We lack left-hand side pattern matches (both for `let` bindings and function clauses), deep pattern matches, and guarded pattern-matches. This issue will track discussion around these features.

Suggested by QuviQ.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.