Ocaml:错误 - 此表达式具有类型 x 但与类型 x 一起使用

Question

这是我的错误:

Error: This expression has type nfa but is here used with type nfa

什么可能会导致这种情况？我正在使用emacs tuareg，并一一加载评估文件。有时会发生这种情况，有时则不会。

Answer 1

在 ocaml tutorial 中有一个很好的描述。 .发生的事情是你用一个新定义隐藏了一个类型定义:

type nfa = int
let f (x: nfa) = x

type nfa = int
let g (x: nfa) = x

重新启动顶层将清除旧的定义。