gleam-lang/gleam

Type inference issue expected Test(a) but found Test(a)

Open

#2550 aperta il 17 gen 2024

Vedi su GitHub
 (3 commenti) (0 reazioni) (0 assegnatari)Rust (960 fork)batch import
help wantedhigh priority

Metriche repository

Star
 (21.417 star)
Metriche merge PR
 (Merge medio 10g 19h) (69 PR mergiate in 30 g)

Descrizione

type Test(a) {
  Test(a)
}
fn it(value: Test(a)) {
  it2(value)
}
fn it2(value: Test(a)) -> Test(a) {
  it(value)
}

Gives this error on the test2 call

Type mismatch

The type of this returned value doesn't match the return type
annotation of this function.

Expected type:

    Test(a)

Found type:

    Test(a)

Similar issue #1893

Guida contributor

Direzione di ricerca
Indaga la logica di unificazione dei tipi nel compilatore Gleam. Concentrati su come vengono confrontate le variabili di tipo e perche tipi generici identici come Test(a) vengono segnalati come non corrispondenti. Controlla la gestione delle definizioni di tipo ricorsive e il controllo di uguaglianza per i parametri generici.
Tech stack
rust
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
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
RustGleam
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50