CakeML/cakeml

Add word shifts to basis

Aperta

#274 aperta il 3 mag 2017

Vedi su GitHub
 (3 commenti) (0 reazioni) (1 assegnatario)Standard ML (98 fork)auto 404
enhancementhelp wanted

Metriche repository

Star
 (1169 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina l'implementazione attuale degli operatori di shift nella libreria di base e nel parser. Verifica come l'operazione Shift è attualmente definita come operatore unario. Scegli tra due approcci: (1) Rendere Shift un operatore binario, richiedendo modifiche alla definizione dell'operatore, al parser e alla semantica. (2) Aggiungere una forma ristretta di shifting definendo >> e << come funzioni nella base che eseguono un case split sul secondo argomento per selezionare l'operazione Shift appropriata. Implementa l'approccio scelto e aggiungi i test corrispondenti.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65