\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+(* kernel version: basic, absolute, global *)
+(* note : experimental *)
+
type uri = NUri.uri
type id = Aut.id
let new_location () = let loc = !location in incr location; loc
+let locations () = !location
+
(* context handling functions ***********************************************)
let empty_context = []
-let push f es l id b =
+let push msg f es l id b =
+ let rec does_not_occur loc = function
+ | [] -> true
+ | (l, _, _) :: _ when l = loc -> false
+ | _ :: es -> does_not_occur l es
+ in
+ if not (does_not_occur l es) then failwith msg else
let c = (l, id, b) :: es in f c
let append f es1 es2 =