]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.ml
changed get_pair interface, now supports different unmarshallers
[helm.git] / helm / ocaml / registry / helm_registry.ml
index 0b54116cb9bb3d43698b8cc5aff2a5f8d717c08f..a845cb576e2017083a18230e66de0ce766295a93 100644 (file)
@@ -194,10 +194,10 @@ let get_list registry unmarshaller key =
     List.map unmarshaller (get registry key)
   with Key_not_found _ -> []
 
-let get_pair registry unmarshaller key =
+let get_pair registry fst_unmarshaller snd_unmarshaller key =
   let v = singleton (get registry key) in
   match Str.split spaces_rex v with
-  | [fst; snd] -> unmarshaller fst, unmarshaller snd
+  | [fst; snd] -> fst_unmarshaller fst, snd_unmarshaller snd
   | _ -> raise (Type_error "not a pair")
 
 let set_list registry marshaller ~key ~value =