0

我正在处理很长的列表和大树。
有时我会发现这个错误：

surgery a;;
Characters 8-9:
  surgery a;;
          ^
Error: This expression has type int t/1044
       but an expression was expected of type 'a t/1810
# type 'a t = | Leaf of ('a -> 'a -> int)
            | Node of 'a * 'a t * 'a t * ('a -> 'a -> int)

我不确定这种错误是什么类型，但我想这是某种溢出。类型正确匹配，但类型后面的反斜杠后有大量数字。在本例中为 1044 和 1810。
这次我之前运行了一些代码surgery a。如果我杀死当前的顶级并重新开始，surgery a就会运行。

我的问题是：
1.这个错误到底是什么？
2. 它何时以及如何发生？
3. 为什么从新的顶层重新运行它会使其工作？
4. 我应该如何处理？

4

1 回答 1

7

这是一个类型错误，而不是运行时错误。它不会“花费”任何东西，并且与您在内存中拥有的结构的大小没有任何关系。

如果您在顶层不小心，并且混合了具有相同名称的两种不同类型，则会发生这种情况。比较：

type t = int;;
let f (x : t) = ();;
type u = bool;;
let g (y : u) = f y;;
                  ^
  Error: This expression has type u = bool
         but an expression was expected of type t = int

和

type t = int;;
let f (x : t) = ();;
type t = bool;;
let g (y : t) = f y;;
                  ^
  Error: This expression has type t/1047 = bool
         but an expression was expected of type t/1044 = int

这是在两种情况下发生的完全相同的输入错误：您混合了不同的类型。但在第二种情况下，两者都具有相同的名称t。类型系统试图提供帮助，并告诉您它在内部分配给名称的唯一整数，以确保在整个程序中确实是唯一的。

这种错误不会发生在顶层之外（以通常的方式编译程序时），因为不可能在完全相同的路径上定义两个具有相同名称的类型。

如何修复它：如果您使用与前一个不等效的新定义重新定义了一个类型，则必须小心重新定义先前记录在顶层中的此先前类型的操作。实际上，它们仍然按预期的旧类型键入，并且将它们与新类型一起使用会导致此类错误。

于 2013-03-19T05:56:55.530 回答