Different type IDs can point at the same type
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia tracciando typecheck_match() e il percorso di creazione dei tipi citato nell’issue. Riproduci i due esempi di oneof, quindi determina se il matching confronta i tipi sottostanti o riutilizza gli ID; il lavoro è completato quando tipi identici non producono più una mancata corrispondenza dei tipi.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
As pointed out in https://github.com/nushell/new-nu-parser/pull/50, typecheck_match() looks only at type IDs without actually checking the underlying type. This means that two identical types, such as:
let x: oneof<list<int>, list<string>> = []
let y: oneof<list<int>, list<string>> = []
would have different IDs and result in type mismatch.
Two possible solutions:
- Change
typecheck_match()to actually check the types properly - When creating a type, first check whether it's been created already and reuse its ID if so. This would ensure that different type IDs would point at different types.
- Lingua principale
- Rust
- Stelle
- 36
- Fork
- 11
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di nushell/new-nu-parser
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
nushell/new-nu-parser#64 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
nushell/new-nu-parser#60 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100
nushell/new-nu-parser#59 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
nushell/new-nu-parser#47 · 3 commenti ·
-
bug performance upstream
Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100
nushell/new-nu-parser#42 · 1 reazione ·
Tutte le issue di nushell/new-nu-parser
Issue simili
-
question
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
autoindex tests: denied loopback bind shows only PermissionDenied (255 failures), not the causeApertafield-report
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
I maintainer di solito rispondono entro 1 giorno
-
area:core
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
julian-hemmer/ypass#4 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 70/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
davidkodar/klipp#3426 ·
I maintainer di solito rispondono entro 1 giorno