在Ocaml中记录类型模式匹配

时间:2013-06-18 16:02:45

标签: types pattern-matching ocaml record

我正在尝试使用模式匹配来编写计算器应用程序。

两种主要类型定义如下:

type key = Plus | Minus | Multi | Div | Equals | Digit of int;;

type state = {
    lcd: int; (* last computation done *)
    lka: key; (* last key actived *)
    loa: key; (* last operation actived *)
    vpr: int (* value print on the screen *)
};;

let print_state s =
    match s with
     state (a,_,_,d) -> print_int a; //Here has the compile error
                print_newline();
                print_int d;
                    print_newline();;

但是,如果我的状态如下:

let initial_state = { lcd=0; lka=Equals; loa=Equals; vpr=0 } ;; 

然后当我调用函数时:

print_state initial_state;;

它将有编译错误。任何人都可以知道编译失败的原因是什么。谢谢你。

Error: Syntax error
unexpected token "("

1 个答案:

答案 0 :(得分:29)

记录模式看起来像一条记录:

match s with
| { lcd = a; vpr = d; _ } -> (* Expression *)