let mk_qid f st id path =
let str = String.concat "/" path in
let str = Filename.concat str id in
let mk_qid f st id path =
let str = String.concat "/" path in
let str = Filename.concat str id in
- let f str = f (U.uri_of_string str, id, path) in
- f (st.mk_uri str)
-
+ let str = st.mk_uri str in
+ f (U.uri_of_string str, id, path)
+
let uri_of_qid (uri, _, _) = uri
let complete_qid f st (id, is_local, qs) =
let uri_of_qid (uri, _, _) = uri
let complete_qid f st (id, is_local, qs) =