CakeML/cakeml

Reduce GiveUps in data_to_word

Offen

#186 geöffnet am 26.11.2016

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
good first issuehelp wantedlow effortmedium reward

Repository-Metriken

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

Beschreibung

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.)

Contributor Guide

Research-Richtung
Untersuche die Funktion data to word im CakeML Compiler, um GiveUp Stellen zu identifizieren, die zur Compile Zeit entschieden werden können. Bestimme für jede solche GiveUp Stelle, wie stattdessen ein CompileError erzeugt werden kann, was eine Änderung des Rückgabetyps der Funktion erfordert, um Fehler zu erlauben. Konzentriere dich auf Fälle wie Cons Tag, bei denen der Tag Wert zur Compile Zeit bekannt ist und gegen die dimword Einschränkung geprüft werden kann.
Tech Stack
Keine
Domain
backendcompilers
Issue Type
Refactoring
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
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
Standard MLcompiler design
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
10