types - Ocaml 中的记录类型模式匹配

Question

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

两种主要类型定义如下：

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 "("

Answer 1

记录模式看起来像一个记录：

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