jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Port heptcheck to recent changes

Browse source
This commit is contained in:
Cédric Pasteur 2010-09-14 17:22:52 +02:00
parent 6e5e7ec814
commit 8dad10f39b
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/heptagon/main/heptcheck.ml
View file

@ -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 ()