let interactive_user_uri_choice
~selection_mode ?ok ?enable_button_for_non_vars ~title ~msg ~id choices =
List.filter !uri_predicate choices
let interactive_interpretation_choice _ = raise Multiple_interpretations
let interactive_user_uri_choice
~selection_mode ?ok ?enable_button_for_non_vars ~title ~msg ~id choices =
List.filter !uri_predicate choices
let interactive_interpretation_choice _ = raise Multiple_interpretations
let (annobj, _, _, ids_to_inner_sorts, _, _, _) =
Cic2acic.acic_object_of_cic_object ~eta_fix:false obj
in
let (annobj, _, _, ids_to_inner_sorts, _, _, _) =
Cic2acic.acic_object_of_cic_object ~eta_fix:false obj
in
- debug_print ("ast: " ^ CicAstPp.pp_term ast);
+ let new_pp = BoxPp.pp_term ast in
+ debug_print ("ast:\n" ^ new_pp);
+ let new_ast = CicTextualParser2.parse_term (Stream.of_string new_pp) in
+ debug_print ("new_ast:\n" ^ CicAstPp.pp_term ast);
- while true do
- let line = input_line ic in
- try
- let uri = UriManager.uri_of_string line in
- do_uri status uri
- with UriManager.IllFormedUri _ ->
- printf "Error parsing URI '%s', ignoring it" line
- done
+ (try
+ while true do
+ let line = input_line ic in
+ try
+ let uri = UriManager.uri_of_string line in
+ do_uri status uri
+ with UriManager.IllFormedUri _ ->
+ printf "Error parsing URI '%s', ignoring it" line
+ done
+ with End_of_file ->
+ close_in ic)
with exn ->
printf "Error trying to access '%s' (%s), skipping the file\n%!"
fname (Printexc.to_string exn)
let _ =
with exn ->
printf "Error trying to access '%s' (%s), skipping the file\n%!"
fname (Printexc.to_string exn)
let _ =