Liquid Haskell использует комментарии типа {-@ ... @-} для блока контрактов.Можно ли (с параметром командной строки, конфигурационным файлом) указать использование однострочного стиля комментариев, например -- ... для контрактов?
{-@ ... @-}
-- ...
Нет. Глядя на исходный код Liquid Haskell (в файле src/Language/Haskell/Liquid/GHC/Interface.hs), извлечение спецификаций выполняется функцией extractSpecComment. Это ищет комментарии типа AnnBlockComment (которые являются комментариями в стиле {-...-}) для тех с начальным {-@ и оканчивающимся @-}. Другие стили комментариев не поддерживаются.
src/Language/Haskell/Liquid/GHC/Interface.hs
extractSpecComment
AnnBlockComment
{-...-}
{-@
@-}
Нет, единственный способ комментировать - это добавить свой комментарий:
{% comment %} Like this. {% endcomment %}