ucsd-progsys/liquidhaskell

Liquid Haskell should accept `UnicodeSyntax`

Open

#2 551 ouverte le 8 juin 2025

Voir sur GitHub
 (4 commentaires) (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

Setting {-# LANGUAGE UnicodeSyntax #-} in a source file allows us to use, e.g., → and ∷ as -> and ::, but this doesn't apply to Liquid Haskell code, which even with UnicodeSyntax enabled still accepts only the latter. It would be nice if we could use UnicodeSyntax in Liquid Haskell as well.

(Given that we can't at the moment, I've had to abandon UnicodeSyntax for my projects that use Liquid Haskell, as having a mix of the two in the same file makes searching and the like more difficult.)

Guide contributeur

Direction de recherche
Examinez comment Liquid Haskell gère actuellement les pragmas de langage et étendez l'analyseur pour accepter les équivalents UnicodeSyntax pour les opérateurs et les délimiteurs.
Stack technique
haskell
Domaine
tooling
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
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
HaskellGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40