Revision 719f9992 src/main_lustre_compiler.ml
src/main_lustre_compiler.ml | ||
---|---|---|
156 | 156 |
(* Sorting nodes *) |
157 | 157 |
let prog = SortProg.sort prog in |
158 | 158 |
|
159 |
(* Checking stateless/stateful status *) |
|
160 |
check_stateless_decls prog; |
|
161 |
|
|
162 | 159 |
(* Typing *) |
163 | 160 |
let computed_types_env = type_decls type_env prog in |
164 | 161 |
|
165 | 162 |
(* Clock calculus *) |
166 | 163 |
let computed_clocks_env = clock_decls clock_env prog in |
167 | 164 |
|
165 |
(* Checking stateless/stateful status *) |
|
166 |
check_stateless_decls prog; |
|
167 |
|
|
168 | 168 |
(* Perform global inlining *) |
169 | 169 |
let prog = |
170 | 170 |
if !Options.global_inline && |
Also available in: Unified diff