Совпадение типов записей в Ocaml

Я пытаюсь использовать сопоставление образцов для написания приложения калькулятора.

Два основных типа, указанные ниже:

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;;

У него будет ошибка компиляции. Любой может объяснить причину неудачной компиляции. Спасибо в adv.

Error: Syntax error
unexpected token "("

Ответ 1

Образец записи выглядит как запись:

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