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

Perform inlining before causality/init analysis.

Browse source
This commit is contained in:
Adrien Guatto 2012-03-07 11:51:49 +01:00
parent 44d3a639e5
commit 3e8e54f42b
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
compiler/heptagon/main/hept_compiler.ml
View file

@ -21,6 +21,9 @@ let compile_program p =
let p = pass "Typing" true Typing.program p pp in
let p = pass "Linear Typing" !do_linear_typing Linear_typing.program p pp in
(* Inlining *)
let p = pass "Inlining" true Inline.program p pp in
(* Causality check *)
let p = silent_pass "Causality check" !causality Causality.program p in
@ -30,9 +33,6 @@ let compile_program p =
(* Completion of partial definitions *)
let p = pass "Completion" true Completion.program p pp in
(* Inlining *)
let p = pass "Inlining" true Inline.program p pp in
(* Automata *)
let p = pass "Automata" true Automata.program p pp in