这是我的错误:
Error: This expression has type nfa but is here used with type nfa
可能是什么原因造成的呢？我正在使用emacs tuareg，并逐一加载评估文件。有时会发生这种情况，而其他时候则不会。
最佳答案
ocaml tutorial中对此有很好的描述。发生的事情是您用新的定义遮盖了类型定义:
type nfa = int
let f (x: nfa) = x
type nfa = int
let g (x: nfa) = x
重新启动顶层将清除旧的定义。
关于ocaml - Ocaml:错误-此表达式的类型为x，但与类型x一起使用，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/1495756/