diff options
-rw-r--r-- | tools/fake_ide.ml | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml index b15a0c637..e07607c33 100644 --- a/tools/fake_ide.ml +++ b/tools/fake_ide.ml @@ -16,13 +16,24 @@ type coqtop = { xml_parser : Xml_parser.t; } +let logger level content = () + let eval_call (call:'a Serialize.call) coqtop = prerr_endline (Serialize.pr_call call); let xml_query = Serialize.of_call call in Xml_utils.print_xml coqtop.out_chan xml_query; flush coqtop.out_chan; - let xml_answer = Xml_parser.parse coqtop.xml_parser in - let res = Serialize.to_answer xml_answer in + let rec loop () = + let xml = Xml_parser.parse coqtop.xml_parser in + if Serialize.is_message xml then + let message = Serialize.to_message xml in + let level = message.Interface.message_level in + let content = message.Interface.message_content in + let () = logger level content in + loop () + else (Serialize.to_answer xml : 'a Interface.value) + in + let res = loop () in prerr_endline (Serialize.pr_full_value call res); match res with Interface.Fail _ -> exit 1 | _ -> () |