Broken type inference for function parameter
Offen
bug
funblocks
- Vorherrschende Sprache
- Haskell
- Sterne
- 1.3k
- Forks
- 201
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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.
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.