ファンクタのOCaml構文エラー

Question

多項式リングをリングから外すファンクタを作成しようとしています。私の基本的なタイプ、Ring_eltは、次のシグネチャがあります。私の多項式ファンクタがどのように見える

module type Ring_elt = sig 
    type t 
    val add : t -> t -> t 
    val mul : t -> t -> t 
    val zer : t 
    val one : t 
    val neg : t -> t 
end;; 

：

module Make_Poly2(Underlying:Ring_elt) = struct 
    type t = Poly of Underlying.t list 
    let rec create lst = 
    match List.rev lst with 
    | Underlying.zer :: tl -> create List.rev tl 
    | _     -> Poly of lst 
end;; 

（そう「作成」機能は、その後、リストを取る先頭のゼロを削除し、必要があります結果の多項式を返します）。しかし、私は構文エラーを取得し、utopは "基礎"の後ろに "zer"を強調します。

は比較すると、（整数の多項式を作るための）次のコードは動作します：

module Make_int_poly = struct 
    type t = Poly of int list 
    let rec create lst = 
    match List.rev lst with 
    | 0 :: tl -> create (List.rev tl) 
    | _  -> Poly lst 
end;; 

何が起こっているすべてのアイデア？

Answer 1

ジェフリーの答えは良いのですが、代わりにif建設とそれを修正するの、何をやるべきことは以下の通りです：代数的データ型を使用

代わりの

val zer : t 
val one : t 

を書くあなたは

を書くことができ

module type Ring_elt = sig 
    type t = Zer | One | Num of t 
    val add : t -> t -> t 
    val mul : t -> t -> t 
    val neg : t -> t 
end 

module Make_int_poly = struct 
    type t = Poly of int list 
    let rec create lst = 
    match List.rev lst with 
    | Underlying.Zer :: tl -> create (List.rev tl) 
    | _     -> Poly lst 
end 

パターンを簡単に作成できるため、はるかに良い方法ですその上で一致し、あなたのタイプにいくつかの定数を追加することも問題なしでtです。

Answer 2

OCamlパターンは、定数、データコンストラクタ、およびパターンマッチングによってバインドされた新しい名前から構築されます。 Underlying.zerはそのようなものではありません。しかし0がその一つです。

ifと入力してUnderlying.zerと比較してみましょう。