CakeML/cakeml

Replace wc.sh with a CakeML program

Aperta

#614 aperta il 31 gen 2019

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Standard ML (98 fork)auto 404
help wantedtooling

Metriche repository

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

Descrizione

developers/wc.sh is a shell script (that is probably out of date) for counting the number of lines in the CakeML repository. This issue is to replace this script with a CakeML program (we already have a wordcount program under examples) that does the same job. In particular, to figure out how to build and call the verified CakeML wordcount program, extended with arguments/functionality as required, and record this as something like a Holmake target.

Guida contributor

Direzione di ricerca
Familiarizzati con il programma wordcount esistente sotto examples, estendilo per gestire argomenti da riga di comando per contare le righe in una directory e integralo come target Holmake.
Tech stack
Nessuno
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
CakeMLHolmake
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70