From 7dbfe197294523c1178dc4f3a126602fa48fbb00 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 23 Jan 2004 17:41:28 +0000 Subject: [PATCH] ported to new module names --- helm/ocaml/cic_disambiguation/test_lexer.ml | 4 +++- helm/ocaml/cic_disambiguation/test_parser.ml | 8 ++------ 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/helm/ocaml/cic_disambiguation/test_lexer.ml b/helm/ocaml/cic_disambiguation/test_lexer.ml index 2c4335749..520829d87 100644 --- a/helm/ocaml/cic_disambiguation/test_lexer.ml +++ b/helm/ocaml/cic_disambiguation/test_lexer.ml @@ -28,7 +28,9 @@ let ic = open_in Sys.argv.(1) with Invalid_argument _ -> stdin in -let token_stream = fst (Lexer.lex.Token.tok_func (Stream.of_channel ic)) in +let token_stream = + fst (CicTextualLexer2.lex.Token.tok_func (Stream.of_channel ic)) +in let rec dump () = let (a,b) = Stream.next token_stream in if a = "EOI" then raise Stream.Failure; diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml index 0f6b2d162..1813fd641 100644 --- a/helm/ocaml/cic_disambiguation/test_parser.ml +++ b/helm/ocaml/cic_disambiguation/test_parser.ml @@ -29,14 +29,10 @@ try open_in Sys.argv.(1) with Invalid_argument _ -> stdin) in - let term = Parser.parse_term (Stream.of_channel ic) 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)) *) - -- 2.39.2