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