GrafiteTypes.set_metasenv metasenv grafite_status,macro
let eval_ast ?do_heavy_checks ?clean_baseuri lexicon_status
GrafiteTypes.set_metasenv metasenv grafite_status,macro
let eval_ast ?do_heavy_checks ?clean_baseuri lexicon_status
=
let lexicon_status_ref = ref lexicon_status in
let new_grafite_status,new_objs =
GrafiteEngine.eval_ast
=
let lexicon_status_ref = ref lexicon_status in
let new_grafite_status,new_objs =
GrafiteEngine.eval_ast
~disambiguate_command:(disambiguate_command lexicon_status_ref)
~disambiguate_macro:(disambiguate_macro lexicon_status_ref)
~disambiguate_command:(disambiguate_command lexicon_status_ref)
~disambiguate_macro:(disambiguate_macro lexicon_status_ref)
- ((new_grafite_status,new_lexicon_status),Some (k,value))::acc
+ ((grafite_status,new_lexicon_status),Some (k,value))::acc
) (lexicon_status,[]) new_aliases
in
((new_grafite_status,new_lexicon_status),None)::intermediate_states
let eval_from_stream ~first_statement_only ~include_paths ?(prompt=false)
) (lexicon_status,[]) new_aliases
in
((new_grafite_status,new_lexicon_status),None)::intermediate_states
let eval_from_stream ~first_statement_only ~include_paths ?(prompt=false)
-
-let eval_string ~first_statement_only ~include_paths ?do_heavy_checks
- ?clean_baseuri lexicon_status status str
-=
- eval_from_stream ~first_statement_only ~include_paths ?do_heavy_checks
- ?clean_baseuri lexicon_status status (Ulexing.from_utf8_string str)
- (fun _ _ -> ())