Я определил два типа записей:
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
, что сбивает компилятор с толку.