`Union[str, int]` is treated as `dynamic`

Aperta
#49 6 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
4/5
Tempo stimato
3-5 giorni
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Ferma
Stack tecnologico
python
Ambito
compilers

Direzione di ricerca

Inizia riproducendo lo snippet Python fornito con il compilatore statico e analizza come vengono gestite le annotazioni Union[int, str] prima di reveal_type(x). Confronta questo percorso con l’esempio di controllo del flusso mostrato, in cui il tipo locale è Union[str, int]. Il lavoro è completato quando la variabile annotata viene riportata come Union[int, str] invece di dynamic.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

sp-correctness staticpython
What version of Static Python are you using?

6862bbd
2021-10-03

What program did you run?
from typing import Union

x: Union[int, str] = 1
reveal_type(x)
What happened?

The type of x is dynamic

compiler.static.errors.TypedSyntaxError:
reveal_type(x): 'dynamic',
'x' has declared type 'dynamic' and
local type 'Literal[1]'
What should have happened?

We expected the type of x to be Union[int, str] because union types are supported:

x: Any = 1
if True:
    x = "hello"
else:
    x = 42
reveal_type(x)

# compiler.static.errors.TypedSyntaxError:
# reveal_type(x): 'dynamic',
# 'x' has declared type 'dynamic' and
# local type 'Union[str, int]'
Lingua principale
Python
Stelle
3.8k
Fork
139
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di facebookincubator/MetaPython

Tutte le issue di facebookincubator/MetaPython

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.