(* $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 *)
CicNotationLexer.level2_ast_lexer.Token.tok_func (Obj.magic lexbuf)
in
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) >] ->
| [< '("EOI", _) >] -> acc
| [< 'tok >] -> parse acc
| [< >] -> acc) tok_stream
+ with
+ Stream.Error _ -> parse acc
+ | CicNotationLexer.Error _ -> parse acc
in
List.rev (parse [])
| p :: tl ->
let path = p ^ "/" ^ path in
try
- ignore (Unix.stat path); path
+ ignore (Unix.stat path);
+ HLog.debug ("Including "^path^" with path: " ^ p);
+ path
with Unix.Unix_error _ -> aux tl
in
try
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);
- (try
- ignore(Http_getter.resolve uri)
- with
- | Http_getter_types.Unresolvable_URI _ ->
- HLog.error (file ^ " sets an unresolvable baseuri: " ^ buri)
- | Http_getter_types.Key_not_found _ -> ());
- uri
+ uri,file