Haskell液体使用{-@ ... @-}
之类的注释来禁止合同。是否可以(通过命令行选项,配置文件)指定对合同使用-- ...
之类的一行注释样式?
答案 0 :(得分:3)
不。查看Liquid Haskell的源代码(在文件src/Language/Haskell/Liquid/GHC/Interface.hs
中),规格提取是通过函数extractSpecComment
执行的。这将搜索类型为AnnBlockComment
的注释(即{-...-}
样式的注释),这些注释的开头是{-@
,结尾是@-}
。不支持其他注释样式。
答案 1 :(得分:1)
没有唯一的评论方法是发表评论:
{% comment %} Like this. {% endcomment %}