Broken type inference for function parameter
Open
bug
funblocks
- Dominant language
- Haskell
- Stars
- 1.3k
- Forks
- 201
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
Assessment
This issue has not been assessed yet.