バイナリ木構文エラー

Question

私は、私はこのようなbin_treeを定義することはできませんWHT任意のアイデアがありません。

type 'a bin_tree = Node of { data : 'a ; left : 'a bin_tree; right : 'a bin_tree; } | Leaf 

マーリンは私に語った：タイプ内部エラー、レコードタイプがある_

Answer 1

バージョン4.03.0以降でのみ使用可能な新しい言語機能であるインラインレコードを使用しています。

それは次の操作を実行することが可能であった4.03.0ので、：

type t = A of { ... } | B 

4.03.0前に、あなたは別にレコード型を定義する必要がありました：

type t = A of r | B and r = { ... } 

あなたはどちらかに持っているがそれに応じてコードを書き直すか、OCamlのインストールをバージョン4.03.0以降に切り替えてください。

Answer 2

を期待しますまだ定義されていない - とレコード定義はbin_treeので、あなたが共同でそれらを定義する必要があり、しようとする関連している：

type 'a pp = {data : 'a; left: 'a bin_tree; right : 'a bin_tree} and 
     'a bin_tree = Node of 'a pp | Leaf ;;