小编Yar*_*ick的帖子

我有像这样声明的抽象令牌类:

abstract class Token(var index: Int = 0) {
open fun merge(toMerge: Token): Token? {
    return null
    }
}

我想在数据类中继承index属性,如下所示:

data class CloseLoop(index: Int, var openLoopIndex: Int = 0) : Token(index)

但它给了我错误 Data class primary constructor must have only property (val / var) parameters

我需要做些什么来解决这个问题？

Coq 8.10.1 的 VST（验证软件工具链）2.5v 库遇到问题：

VST 的最新工作提交出现错误，即“不支持内部结构复制”。最小的例子：

struct foo {unsigned int a;};
struct foo f() {
struct foo q;
return q; }

启动证明时出现错误：

错误：策略失败：表达式 (_q)%expr 包含内部结构复制，这是可验证 C（级别 97）当前不支持的 C 功能。

这是由于floyd/forward.vcheck_normalized中的：

Fixpoint check_norm_expr (e: expr) : diagnose_expr :=
match e with
| Evar _ ty => diagnose_this_expr (access_mode ty) e
...