CakeML/cakeml

Remove unnecessary header words

Aperta

#142 aperta il 1 set 2016

Vedi su GitHub
 (1 commento) (0 reazioni) (1 assegnatario)Standard ML (98 fork)auto 404
enhancementhelp wantedmedium effortmedium rewardperformance

Metriche repository

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

Descrizione

For data whose tag and length can be completely represented in its pointer, there should be no need for a header word. This involves changing the data_to_wordProps invariants.

Guida contributor

Direzione di ricerca
Esamina l'invariante `data to wordProps` nel codice sorgente di CakeML per capire come vengono attualmente utilizzati i word di intestazione per i dati i cui tag e lunghezza rientrano in un puntatore. Quindi, proponi una modifica per eliminare il word di intestazione in tali casi, assicurandoti di aggiornare di conseguenza l'invariante.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
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
GitBasic understanding of ML and compilers
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60