CicNotationLexer.level2_ast_lexer.Token.tok_func (Obj.magic lexbuf)
in
let rec parse acc =
+ try
(parser
| [< '("URI", u) >] ->
parse (UriDep (UriManager.uri_of_string u) :: acc)
| [< '("EOI", _) >] -> acc
| [< 'tok >] -> parse acc
| [< >] -> acc) tok_stream
+ with
+ Stream.Error _ -> parse acc
in
List.rev (parse [])