Можно ли использовать однострочные контракты в Liquid Haskell?

Question

Liquid Haskell использует комментарии как {-@ ... @-} для контрактов блок. Можно ли (с параметром командной строки, конфигурационным файлом) указать, использовать ли однострочный стиль комментариев, например -- ... для контрактов?

Answer 1

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

Answer 2

Нет, единственный способ оставить комментарий - это добавить свой комментарий:

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