Comment modéliser les enregistrements de correspondance dans OCaml?

Question

je le type de données suivantes (s'il vous plaît ne pas tenir compte du fait que cela pourrait être beaucoup plus simples)

type tKey = Key of int;; 

type tBST = Null | Pos of node ref 
     and node = {mutable key : tKey; 
      mutable left : tBST; 
      mutable right : tBST};; 

J'ai l'erreur suivante avec cette fonction qui ressemble à mon pattern matching est pas juste

let rec string_of_tree = function 
    Null -> "()" 
    | Pos (ref {key; left = Null; right = Null}) -> Printf.sprintf "(%s)" (string_of_root (root tree)) 
    | Pos (ref {key; left; right}) -> Printf.sprintf "(%s %s %s)" 
          (string_of_root (root tree)) 
          (string_of_tree (leftLeaf tree)) 
          (string_of_tree (rightLeaf tree));; 

Error: Syntax error: ')' expected 
Error: This '(' might be unmatched 

erreur fait référence à la parenthèse suivante: (ref {key; (...)})

Answer 1

Pour correspondre à une référence, vous ne pouvez pas utiliser ref. ref n'est pas un constructeur, c'est juste une fonction qui fait référence. Pour correspondre à une référence, vous pouvez utiliser { contents = ... }

Malheureusement cela va rendre le code encore plus dense :-)

Answer 2

Je pense que le problème est que vous essayez de correspondance de motif avec ref, ce qui est vraiment juste de sucre pour un enregistrement contenant un champ mutable contents ».

Essayez de remplacer

| Pos (ref { ... }) -> ... 

avec

| Pos { contents = { ... }} -> ...