Dopasowywanie wzorców typów rekordów w Ocaml

Question

Próbuję użyć dopasowania do wzorca, aby napisać aplikację kalkulatora.

Dwa główne typy zdefiniowane jak poniżej:

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

Jednak jeśli mam stan jak:

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

potem, kiedy wywołać funkcję:

print_state initial_state;; 

Będzie mieć błąd kompilacji. Każdy może powiedzieć, co jest przyczyną nieudanej kompilacji. Dzięki w adv.

Error: Syntax error 
unexpected token "(" 

Answer 1

Wzór rekord wygląda rekordzie:

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