Два поля двух записей имеют одинаковую метку в OCaml

Я определил два типа записей:

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 }

И у меня позже возникла ошибка для строки кода: Ошибка: Тип метки поля записи принадлежит типу Syntax.func, но здесь смешивается с метками типа Syntax.name

Кто-нибудь может сказать мне, не должно ли у нас быть двух полей с двумя записями с одинаковой меткой, например typ , что сбивает компилятор с толку.

9
задан SoftTimur 19 January 2012 в 15:46
поделиться