- [ id = IDENT -> return_term loc (Ast.Ident (id, None))
- | id = IDENT; s = explicit_subst ->
- return_term loc (Ast.Ident (id, Some s))
- | s = CSYMBOL -> return_term loc (Ast.Symbol (s, 0))
- | u = URI -> return_term loc (Ast.Uri (u, None))
+ [ id = IDENT -> return_term loc (Ast.Ident (id, `Ambiguous))
+ | id = IDENT; s = explicit_subst -> (* XXX: no more explicit subst? *)
+ assert false
+ (* return_term loc (Ast.Ident (id, Some s))*)
+ | s = CSYMBOL -> return_term loc (Ast.Symbol (s, None))
+ | u = URI -> return_term loc (Ast.Ident
+ (NUri.name_of_uri (NUri.uri_of_string u), `Uri u))