是否可以在 Liquid Haskell 中使用单线合约？
Is it possible to use one line contracts in Liquid Haskell?
Liquid Haskell 对合约块使用 {-@ ... @-} 之类的注释。是否可以（使用命令行选项，配置文件）指定使用单行注释样式，如 -- ... 用于合同？
没有。查看 Liquid Haskell 的源代码（在文件 src/Language/Haskell/Liquid/GHC/Interface.hs 中），规格的提取由函数 extractSpecComment 执行。这将搜索类型为 AnnBlockComment 的注释（{-...-} 样式的注释）以查找具有初始 {-@ 和终止 @-} 的注释。不支持其他评论样式。
不，唯一的评论方式是发表评论：
{% comment %} Like this. {% endcomment %}
Liquid Haskell 对合约块使用 {-@ ... @-} 之类的注释。是否可以（使用命令行选项，配置文件）指定使用单行注释样式，如 -- ... 用于合同？
没有。查看 Liquid Haskell 的源代码（在文件 src/Language/Haskell/Liquid/GHC/Interface.hs 中），规格的提取由函数 extractSpecComment 执行。这将搜索类型为 AnnBlockComment 的注释（{-...-} 样式的注释）以查找具有初始 {-@ 和终止 @-} 的注释。不支持其他评论样式。
不，唯一的评论方式是发表评论：
{% comment %} Like this. {% endcomment %}