tex notation for compatibility with texTermEditor

[helm.git] / helm / ocaml / cic_disambiguation / test_parser.ml

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index fdab36ef329c589532acbe66bd7b497e75f6a93d..1813fd641457953419cb74324ca1312eda26c082 100644 (file)
--- a/helm/ocaml/cic_disambiguation/test_parser.ml
+++ b/helm/ocaml/cic_disambiguation/test_parser.ml
@@ -24,15 +24,15 @@
  *)
 
 try
-  let ic = open_in Sys.argv.(1) in
-  let term = Parser.parse_term (Stream.of_channel ic) in
+  let ic =
+    (try
+      open_in Sys.argv.(1)
+    with Invalid_argument _ -> stdin)
+  in
+  let term = CicTextualParser2.parse_term (Stream.of_channel ic) in
   close_in ic;
-  print_endline (Pp.pp_term term)
+  print_endline (CicTextualParser2Pp.pp_term term)
 with Stdpp.Exc_located ((p_start, p_end), exn) ->
   prerr_endline (Printf.sprintf "Exception at character %d-%d: %s"
                   p_start p_end (Printexc.to_string exn))
 
-(* print_endline (Macro.expand "def") *)
-
-(* Printf.printf "'%s'\n" (Macro.expand Sys.argv.(1)) *)
-