haskell - 是否可以在 Liquid Haskell 中使用单行合约？

Question

Liquid Haskell 使用类似{-@ ... @-}合约块的注释。是否可以（使用命令行选项、配置文件）指定使用单行注释样式，例如-- ...合同？

Answer 1

不。查看 Liquid Haskell 的源代码（在文件中src/Language/Haskell/Liquid/GHC/Interface.hs），规范的提取是由函数执行的extractSpecComment。这会搜索带有 initial和 terminating的注释类型AnnBlockComment（样式中的注释） 。不支持其他评论样式。{-...-}{-@@-}

Answer 2

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

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