CakeML/cakeml

Replace wc.sh with a CakeML program

Offen

#614 geöffnet am 31.01.2019

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
help wantedtooling

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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.

Contributor Guide

Research-Richtung
Machen Sie sich mit dem vorhandenen wordcount Programm unter examples vertraut, erweitern Sie es um die Verarbeitung von Befehlszeilenargumenten zum Zählen von Zeilen in einem Verzeichnis und integrieren Sie es als Holmake Ziel.
Tech Stack
Keine
Domain
tooling
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
CakeMLHolmake
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70