ocaml - Ocaml：エラー-この式はタイプxですが、タイプxで使用されます

Question

これは私のエラーです：

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

これを引き起こすために何が起こっている可能性がありますか？私はemacstuaregを使用しており、評価ファイルを1つずつ読み込んでいます。これが発生する場合と発生しない場合があります。

Answer 1

これについては、ocamlチュートリアルに詳しく説明されています。何が起こったのかというと、型定義を新しい定義でシャドウイングしたということです。

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

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

トップレベルを再起動すると、古い定義がクリアされます。