Broken type inference for function parameter
Aperta
bug
funblocks
- Lingua principale
- Haskell
- Stelle
- 1.3k
- Fork
- 201
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Expected: Since `movement` is correctly inferred as requiring a pair of numbers, I expect the pair passed to `step` to have to be a pair of numbers, as well.
Instead, `step` is incorrectly given a polymorphic type.
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.