can't inference type of a Nothing value
Aperta
- Lingua principale
- Haskell
- Stelle
- 952
- Fork
- 50
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
`
TutorialD (master/main): a :: {a Maybe Integer}
TutorialD (master/main): insert a relation{tuple{ a Nothing}}
ERR: TypeConstructorTypeVarMissing "a"
`
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.