相关疑难解决方法(0)

我定义了两种记录类型:

type name =
    { r0: int; r1: int; c0: int; c1: int;
      typ: dtype;
      uid: uid (* key *) }

and func =
    { name: string;
      typ: dtype;
      params: var list;
      body: block }

我稍后遇到一行代码错误: Error: The record field label typ belongs to the type Syntax.func but is mixed here with labels of type Syntax.name

任何人都可以告诉我,如果我们不应该有两个记录具有相同标签的两个字段,就像typ这里一样,这会使编译器混淆.