From 8dad10f39bd59cf67473f41600e6b8a21f886f0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 14 Sep 2010 17:22:52 +0200 Subject: [PATCH] Port heptcheck to recent changes --- compiler/heptagon/main/heptcheck.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/heptagon/main/heptcheck.ml b/compiler/heptagon/main/heptcheck.ml index 977566b..a3059d9 100644 --- a/compiler/heptagon/main/heptcheck.ml +++ b/compiler/heptagon/main/heptcheck.ml @@ -26,15 +26,16 @@ let check_implementation modname filename = try init_compiler modname; + add_include (Filename.dirname filename); (* Parsing of the file *) - let p = do_silent_pass parse_implementation "Parsing" lexbuf true in + let p = do_silent_pass "Parsing" (parse_implementation modname) lexbuf in (* Convert the parse tree to Heptagon AST *) - let p = do_pass Hept_scoping.translate_program "Scoping" p pp true in + let p = do_pass "Scoping" Hept_scoping.translate_program p pp in (* Call the compiler*) - let p = do_silent_pass Hept_compiler.compile_impl "Checking" p true in + let _ = compile_impl pp p in close_all_files ()