CakeML/cakeml

Reduce GiveUps in data_to_word

Aperta

#186 aperta il 26 nov 2016

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
good first issuehelp wantedlow effortmedium reward

Metriche repository

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

Descrizione

Some of the GiveUps in data_to_word could be compiler failures rather than generating code that aborts at runtime. This is better for the user since the failure is caught earlier. However, it requires making the compiler able to fail (CompileError) at data_to_word. For example, Cons tag becomes GiveUp if tag < dimword (:'a) DIV 16 which is decidable at compile time.

(An alternative hack, maybe, is to produce code that will produce an encoding error in asm (i.e., a jump that's too big). Probably too hard and hacky.)

Guida contributor

Direzione di ricerca
Esamina la funzione data to word nel compilatore CakeML per identificare le posizioni di GiveUp che possono essere decise in fase di compilazione. Per ciascun GiveUp, determina come produrre un CompileError invece, richiedendo la modifica del tipo di ritorno della funzione per consentire errori. Concentrati su casi come Cons tag in cui il valore del tag è noto in fase di compilazione e può essere verificato rispetto al vincolo dimword.
Tech stack
Nessuno
Dominio
backendcompilers
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 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
Standard MLcompiler design
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
10