#1814·penrose

错误: 悬浮的域标识符

作者: KyleleeSea创建于 2024年7月2日更新于 2024年7月2日
标签system:parser

描述错误 使用新的 Lezer 解析器时,在域中,如果一个子类型声明跟随一个不具有命名返回类型的构造函数或函数声明,就会出现歧义。

内容来源: penrose/penrose