]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/helm_registry.mli
- added support for variable interpolation
[helm.git] / helm / ocaml / registry / helm_registry.mli
index 668525b86a13e49f034df503d782a0fba9915e34..1f84333fe2bed5426e2061b2688d9d8d52b43fdc 100644 (file)
    * @param key looked up key *)
 exception Key_not_found of string
 
+  (** raised when a cyclic definitions is found, e.g. after
+   * Helm_registry.set "a" "$b"
+   * Helm_registry.set "b" "$a"
+   * @param msg brief description of the definition cycle *)
+exception Cyclic_definition of string
+
   (** raised when a looked up key doesn't have the required type
    * @param expected_type
    * @param value