Est-il possible d'utiliser des contrats d'une ligne dans Liquid Haskell ?

Question

Liquid Haskell utilise des commentaires comme {-@ ... @-} pour le bloc de contrats. Est-il possible (avec l'option de ligne de commande, le fichier de configuration) de spécifier l'utilisation d'un style de commentaires d'une ligne comme -- ... pour les contrats ?

Answer 1

Non. En regardant le code source de Liquid Haskell (dans le fichier src/Language/Haskell/Liquid/GHC/Interface.hs ), l'extraction des spécifications est effectuée par la fonction extractSpecComment . Cela permet de rechercher les commentaires de type AnnBlockComment (qui sont des commentaires dans le {-...-} ) pour ceux qui ont une {-@ et terminant @-} . Aucun autre style de commentaire n'est pris en charge.

Answer 2

Non, la seule façon de commenter est de mettre votre commentaire :

{% comment %} Like this. {% endcomment %}