Broken type inference for function parameter


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.

この issue にはソースファイル、テスト、エントリーポイントが示されていないため、まず添付画像に示された例を CodeWorld で再現してください。関数パラメーターの型推論を追跡し、step の推論された型を、期待される数値ペアの制約と比較してください。このケースで step がポリモーフィック型を受け取らなくなれば完了です。

索引モデルが issue の本文から書いたものです。