複数の宣言

Question

私は次のようなデータ構造を有する：

data BExp = BConst Bool | Not BExp | BExp And BExp | BExp Or BExp

（EQとショーを導出）

ブール式を定義していますが、私は次のエラーを取得するコンパイルするたびに：

Multiple declarations of 'BExp' Declared at: PData.hs:9:38 PData.hs:9:54

私は私のファイルに一度、どこにもそれを定義しています。これらの

data BExp = BConst Bool | Not BExp | BExp And BExp | BExp Or BExp 
            ^   ^
            |    | 
            Here   ... and here 

一つは、新しいコンストラクタ名に変更する必要があります。

Answer 1

あなたは、コンパイラが言う同じように、定義された2つのBExpコンストラクタを持っています。

編集

あなたのコメントをもとに、あなたは本当にこのように、コンストラクタ名としてAndとOrを使用したい：

data BExp = BConst Bool | Not BExp | And BExp BExp | Or BExp BExp 

次のようにして、その後、中置関数としてそれらを使用することができます。

someBExp = (BConst True) `And` (BConst False)