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.

El issue no indica ningún archivo fuente, prueba ni punto de entrada; comienza reproduciendo en CodeWorld el ejemplo mostrado en la imagen adjunta. Sigue la inferencia de tipos del parámetro de la función y compara el tipo inferido de step con la restricción esperada de un par de números. Se considera terminado cuando step ya no recibe un tipo polimórfico en este caso.

Escrito por el modelo de indexación a partir del texto del issue.