- let lexbuf = Lexing.from_string (input#buffer#get_text ()) in
- let dom,mk_metasenv_and_expr =
- CicTextualParserContext.main
- ~context:name_context ~metasenv CicTextualLexer.token lexbuf
- in
- let id_to_uris',metasenv,expr =
- Disambiguate'.disambiguate_input mqi_handle
- context metasenv dom mk_metasenv_and_expr ~id_to_uris:!id_to_uris
- in
- id_to_uris := id_to_uris' ;
- metasenv,expr
+ let term =
+ Parser.parse_term (Stream.of_string (input#buffer#get_text ()))
+ in
+ let id_to_uris',metasenv,expr =
+ Disambiguate'.disambiguate_term mqi_handle context metasenv term
+ ~aliases:!id_to_uris
+ in
+ id_to_uris := id_to_uris';
+ (metasenv, expr)
+