CakeML/cakeml

Support for multi-case functions defined by pattern matching

Open

#264 opened on Apr 23, 2017

View on GitHub
 (8 comments) (0 reactions) (2 assignees)Standard ML (98 forks)auto 404
enhancementhelp wantedhigh effortlow rewarduser experience

Repository metrics

Stars
 (1,169 stars)
PR merge metrics
 (PR metrics pending)

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

Research direction
Study the CakeML parser and AST to understand how pattern matching in function declarations could be transformed to case expressions on tuples of arguments.
Tech stack
None
Domain
compilers
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
SMLGitCompiler Design
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
30