(* $Id$ *)
+(* FG
+ * From Cambridge dictionary
+ * Dependency:
+ * a country which is supported and governed by another country
+ * Dependence:
+ * when you need something or someone all the time, especially in order to
+ * continue existing or operating
+ *
+ * Fate vobis ...
+ *)
+
exception UnableToInclude of string
(* statements meaningful for matitadep *)
let rec parse acc =
try
(parser
+ | [< '("QSTRING", s) >] ->
+ (* because of alias id qstring = qstring :-( *)
+ (try
+ parse (UriDep (UriManager.uri_of_string s) :: acc)
+ with
+ UriManager.IllFormedUri _ -> parse acc)
| [< '("URI", u) >] ->
parse (UriDep (UriManager.uri_of_string u) :: acc)
| [< '("IDENT", "include"); '("QSTRING", fname) >] ->
| [< 'tok >] -> parse acc
| [< >] -> acc) tok_stream
with
- Stream.Error _ -> parse acc
+ Stream.Error _ -> parse acc
+ | CicNotationLexer.Error _ -> parse acc
in
List.rev (parse [])
let uri = Http_getter_misc.strip_trailing_slash buri in
if String.length uri < 5 || String.sub uri 0 5 <> "cic:/" then
HLog.error (file ^ " sets an incorrect baseuri: " ^ buri);
- uri
+ uri,file