CakeML/cakeml

Add word shifts to basis

Ouverte

#274 ouverte le 3 mai 2017

Voir sur GitHub
 (3 commentaires) (0 réaction) (1 personne assignée)Standard ML (98 forks)auto 404
enhancementhelp wanted

Métriques du dépôt

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

Description

Currently, the basis library doesn't include any shift operations in the Word8 or Word64 modules, and the parser can't generate Opapps with a Shift operation. Thus, the user cannot write programs that shift words in the surface syntax.

Ideally, we'd like to add >> and << as 2 argument CakeML functions, but the Shift op is a unary op with the amount to shift built into the operator. We either need to make Shift a binary op, or we have to add a restricted form of shifting where >> is defined in the basis as a function of two arguments that does a case split on the 2nd to pick out which Shift to actually do.

Guide contributeur

Direction de recherche
Examinez l'implémentation actuelle des opérateurs de décalage dans la bibliothèque de base et l'analyseur. Vérifiez comment l'opération Shift est actuellement définie comme un opérateur unaire. Choisissez entre deux approches : (1) Rendre Shift un opérateur binaire, nécessitant des modifications de la définition de l'opérateur, de l'analyseur et de la sémantique. (2) Ajouter une forme restreinte de décalage en définissant >> et << comme des fonctions dans la base qui effectuent une répartition de cas sur le deuxième argument pour sélectionner l'opération Shift appropriée. Implémentez l'approche choisie et ajoutez les tests correspondants.
Stack technique
Aucun
Domaine
backend
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.
1-2 jours
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
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65