ucsd-progsys/liquidhaskell

Termination error messages do not follow standard GHC format

Open

#1 961 ouverte le 4 avr. 2022

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)Haskell (157 forks)batch import
good first issue

Métriques du dépôt

Stars
 (1 306 stars)
Métriques de merge PR
 (Merge moyen 2j 18h) (12 PRs mergées en 30 j)

Description

When checking tests/neg/AutoSize.hs, the folllowing is output:

**** LIQUID: UNSAFE ************************************************************

neg/AutoSize.hs:19:1: error:
    Termination Error
AutoSize.expSize
No decreasing parameter
   |
19 | expSize (EConst _) = 0
   | ^^^^^^^

Compare with:

**** LIQUID: UNSAFE ************************************************************

neg/Ast.hs:55:1: error:
    Liquid Type Mismatch
    .
    The inferred type
      VV : Ast.AstIndex
    .
    is not a subtype of the required type
      VV : {VV : Ast.AstIndex | Ast.isTypeIndex VV}
    .
    Constraint id 1
   |
55 | wrong = id1 astExpr
   |

and you can see the leading whitespace differences.

Guide contributeur

Direction de recherche
Le problème met en évidence une incohérence de formatage dans les messages d'erreur de terminaison. Comparez la sortie de `tests/neg/AutoSize.hs` avec le format GHC standard affiché dans `neg/Ast.hs`. La correction implique d'ajuster les espaces blancs et éventuellement la structure de la sortie d'erreur de terminaison dans le code de rapport d'erreurs de LiquidHaskell. Localisez la fonction responsable de la génération des erreurs de terminaison et modifiez la pour l'aligner sur le style de GHC. Référez vous au code source de LiquidHaskell, probablement dans les fichiers liés à la gestion des erreurs, et testez avec les exemples fournis.
Stack technique
Aucun
Domaine
developer experiencetooling
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75