facebookarchive/prepack

Support abstract functions with simple return types

Open

#2.514 geöffnet am 30. Aug. 2018

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)JavaScript (14.268 Stars) (520 Forks)batch import
enhancementhelp wantedpriority: low

Beschreibung

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

Contributor Guide

Tech Stack
javascript
Domain
toolingdeveloper experience
Issue Type
feature
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 days
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
stale
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
clear
Voraussetzungen
Understanding of Prepack's abstraction modelFamiliarity with JavaScript runtime semantics
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30
Research-Richtung
The issue is about adding support for abstract functions with simple return types in Prepack. The proposed syntax is ` abstract(":object(simple)", ...)`. To implement, one would need to examine how Prepack currently handles abstract object types and property accesses. The relevant code likely resides in the abstract value handling files. There are no existing PRs or comments to refer to. The goal is to allow safe property access on abstract objects marked as 'simple'.