CakeML/cakeml

Support for multi-case functions defined by pattern matching

Ouverte

#264 ouverte le 23 avr. 2017

Voir sur GitHub
 (8 commentaires) (0 réaction) (2 personnes assignées)Standard ML (98 forks)auto 404
enhancementhelp wantedhigh effortlow rewarduser experience

Métriques du dépôt

Stars
 (1 169 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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.

Guide contributeur

Direction de recherche
Étudiez l'analyseur syntaxique et l'AST de CakeML pour comprendre comment le filtrage par motif dans les déclarations de fonctions peut être transformé en expressions case sur des tuples d'arguments.
Stack technique
Aucun
Domaine
compilers
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
SMLGitCompiler Design
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30