FStarLang/FStar

local open in patterns

Open

#1.013 geöffnet am 26. Apr. 2017

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)F* (258 Forks)auto 404
area/syntaxgood first issuekind/enhancement

Repository-Metriken

Stars
 (3.068 Stars)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

We currently can locally open a module for a subterm with the syntax Module.( ... ). It would be nice to have the same thing for patterns.

Contributor Guide

Research-Richtung
Untersuche die vorhandene Implementierung des lokalen Öffnens in Modulen (z.B. `Module.(expr)`) und erweitere sie auf Muster.
Tech Stack
Keine
Domain
compilers
Issue Type
Funktion
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-2 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
F*compiler basics
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
50