B-Lang-org/bsc

Better error message for -> instead of => in type signature

Aperta

#337 aperta il 19 mar 2021

Vedi su GitHub
 (3 commenti) (0 reazioni) (0 assegnatari)Haskell (178 fork)batch import
good first issue

Metriche repository

Star
 (1108 stelle)
Metriche merge PR
 (Merge medio 17g 1h) (18 PR mergiate in 30 g)

Descrizione

We've seen all sorts of hilarity including things like:

Type error at: d

Expected type: t

Inferred type: (Prelude.IsModule m mType, Prelude.Bits t st) (ironically one of the easier-to-diagnose variants).

I suspect some sort of up-front check that classes aren't where they aren't supposed to be in a type signature would help here. Add comment

Guida contributor

Direzione di ricerca
Esamina il parser o il type checker per rilevare quando ` >` viene usato al posto di `=>` nelle firme di tipo e aggiungi un messaggio di errore specifico.
Tech stack
haskell
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Haskellcompiler basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65