Broken type inference for function parameter
Personne n'a encore pris cette issue.
- Langage dominant
- Haskell
- Étoiles
- 1.3k
- Forks
- 201
- Métriques de merge des PR
- Aucune PR mergée en 30 j
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.
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
L’issue n’indique aucun fichier source, aucun test ni aucun point d’entrée ; commencez par reproduire dans CodeWorld l’exemple montré dans l’image jointe. Suivez l’inférence de types du paramètre de la fonction et comparez le type inféré de step avec la contrainte attendue d’une paire de nombres. Le travail est terminé lorsque step ne reçoit plus de type polymorphe dans ce cas.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- haskell
- Domaine
- compilers
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- À clarifier
- Accessibilité débutants
- 25/100