facebookarchive/prepack

Support abstract functions with simple return types

Open

#2514 aperta il 30 ago 2018

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)JavaScript (520 fork)batch import
enhancementhelp wantedpriority: low

Metriche repository

Star
 (14.268 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

I need this to work:

let f = __abstract(":object", "(__f)");
global.result = f().p;

But it currently fails because the access to .p is not known to be safe. I'd like to model that the result of the call to f is a simple object where all such accesses should simply be allowed, maybe via __abstract(":object(simple)", ...).

Guida contributor

Direzione di ricerca
Il problema riguarda l'aggiunta del supporto per funzioni astratte con tipi di ritorno semplici in Prepack. La sintassi proposta è ` abstract(":object(simple)", ...)`. Per implementarla, è necessario esaminare come Prepack gestisce attualmente i tipi di oggetti astratti e gli accessi alle proprietà. Il codice rilevante risiede probabilmente nei file di gestione dei valori astratti. Non ci sono PR o commenti esistenti a cui fare riferimento. L'obiettivo è consentire l'accesso sicuro alle proprietà su oggetti astratti contrassegnati come 'simple'.
Tech stack
javascript
Dominio
toolingdeveloper experience
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.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Understanding of Prepack's abstraction modelFamiliarity with JavaScript runtime semantics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
30