OCaml的打字错误

2014-04-30 29 views 0 likes

这里是我创建操纵命题公式类型：我需要操纵一组公式OCaml的打字错误

type bexp = V of string 
      |B of bool 
      | Neg of bexp 
      | And of bexp * bexp 
      | Or of bexp * bexp 
      | Impl of bexp * bexp 
      | Eqv of bexp * bexp

，但我得到类型的错误，当我尝试创建它：

module MyOwn = struct 
    type =bexp 
    compare=compare 
    end ;; 
     Characters 30-31: 
    type =bexp

我错了什么，你能帮助我吗？

来源

2014-04-30 Kate07

回答

你需要说

type t = bexp

你只留出了类型名称t。

来源

2014-04-30 16:09:56

谢谢！抱歉打扰你，因为我的失明！我是OCaml的初学者，在将伪代码翻译成OCaml的过程中，我感到非常不愉快。 – Kate07

我们都去过那里。 OCaml值得努力学习！ –

现在我被困在这个：http://stackoverflow.com/q/23409658/3589969 – Kate07

OCaml的打字错误

回答

相关问题