helm/ocaml/cic_disambiguation/test_parser.ml

   1 try
   2   let ic = open_in Sys.argv.(1) in
   3   let term = Parser.parse_term (Stream.of_channel ic) in
   4   close_in ic;
   5   print_endline (Pp.pp_term term)
   6 with Stdpp.Exc_located ((p_start, p_end), exn) ->
   7   prerr_endline (Printf.sprintf "Exception at character %d-%d: %s"
   8                    p_start p_end (Printexc.to_string exn))
   9
  10 (* print_endline (Macro.expand "def") *)
  11
  12 (* Printf.printf "'%s'\n" (Macro.expand Sys.argv.(1)) *)
  13