kframework - 在 K 语言中添加冒号

Question

如何在我的语言中添加冒号作为句法结构？我已将它添加到语法中，但是当我尝试匹配规则中的冒号时，它会给我一个解析错误。

Answer 1

当您用括号括起来时，K 会感到困惑。删除周围的括号，应该删除解析错误。