FStarLang/FStar

local open in patterns

Open

#1013 aperta il 26 apr 2017

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)F* (258 fork)auto 404
area/syntaxgood first issuekind/enhancement

Metriche repository

Star
 (3068 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Investiga l'implementazione esistente dell'apertura locale nei moduli (ad esempio, `Module.(expr)`) e estendila ai pattern.
Tech stack
Nessuno
Dominio
compilers
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
F*compiler basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50