是否可以在Liquid Haskell中使用一个合同?

时间:2019-05-23 13:53:29

标签: haskell liquid-haskell

Haskell液体使用{-@ ... @-}之类的注释来禁止合同。是否可以(通过命令行选项,配置文件)指定对合同使用-- ...之类的一行注释样式?

2 个答案:

答案 0 :(得分:3)

不。查看Liquid Haskell的源代码(在文件src/Language/Haskell/Liquid/GHC/Interface.hs中),规格提取是通过函数extractSpecComment执行的。这将搜索类型为AnnBlockComment的注释(即{-...-}样式的注释),这些注释的开头是{-@,结尾是@-}。不支持其他注释样式。

答案 1 :(得分:1)

没有唯一的评论方法是发表评论:

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