CakeML / CakeML/cakeml

Support pattern matching in let declarations

Open
#271 3 comments 0 reactions 1 assignee Claimed by @SOwens View on GitHub
enhancement user experience
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

Currently the grammar only supports a limited subset of declarations within `let` expressions (the `LetDec` non-terminal). It would be nice if these could be expanded to allow pattern-matching and wildcards.

(Supporting everything in `Decl` would be great, but presumably local type declarations are the problem. This issue can be closed without supporting them.)

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.