CakeML/cakeml

Remove unnecessary header words

Offen

#142 geöffnet am 01.09.2016

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (1 zugewiesene Person)Standard ML (98 Forks)auto 404
enhancementhelp wantedmedium effortmedium rewardperformance

Repository-Metriken

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

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuche die Invariante `data to wordProps` im CakeML Quellcode, um zu verstehen, wie aktuell Header Wörter für Daten verwendet werden, deren Tag und Länge in einen Zeiger passen. Schlagen Sie dann eine Änderung vor, um das Header Wort in solchen Fällen zu eliminieren, und aktualisieren Sie die Invariante entsprechend.
Tech Stack
Keine
Domain
compilers
Issue Type
Refactoring
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GitBasic understanding of ML and compilers
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60