- let lexbuf = Lexing.from_string (input#get_chars 0 input#length) 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
- method id_to_uris = id_to_uris
+ let environment',metasenv,expr,ugraph =
+ match
+ Disambiguate'.disambiguate_term ~dbd ~context ~metasenv
+ (input#buffer#get_text ()) ~initial_ugraph:CicUniv.empty_ugraph
+ ~aliases:!environment
+ with
+ [environment',metasenv,expr,u] -> environment',metasenv,expr,u
+ | _ -> assert false
+ in
+ environment := environment';
+ (metasenv, expr,ugraph)
+ (* TASSI: FIXME ?are we sure we have to keep this? *)
+
+ method environment = environment