Typage Ocaml Yojson [Résolu]

[tictactoki]

Bonsoir,
J'ai un petit soucis concernant l'extraction d'une donnée dans le type Yojson.
J'ai un fichier du type `Assoc [("animal",`Assoc[("chien",`String "JJ"); (`List [`Assoc [("code",`Int 12);("Pays",`String "US")]]);

J'arrive bien a extraire les niveau des assoc mais lorsque que je tombe sur le type `List je bloque...

Code :

1
2
3
4
5
6
7
8
let extrait cle json = match json with
  |`Assoc list -> List.assoc cle list
  | _ -> assert false;;

let rec extraitbis cle json = match json with
  |elt::list -> extrait cle elt
  |_ -> assert false;;

Voici le message d'erreur de typage

Code :

1
2
3
Error: This expression has type Yojson.Safe.json
       but an expression was expected of type
         [> `Assoc of (string * 'a) list ] list

Merci bien.