Revision a38c681e src/main_lustre_compiler.ml
src/main_lustre_compiler.ml | ||
---|---|---|
107 | 107 |
let header = load_lusi true lusi_name in |
108 | 108 |
let _, declared_types_env, declared_clocks_env = check_lusi header in |
109 | 109 |
|
110 |
(* checking stateless status compatibility *) |
|
111 |
Stateless.check_compat header; |
|
112 | 110 |
|
113 | 111 |
(* checking type compatibility with computed types*) |
114 | 112 |
Typing.check_env_compat header declared_types_env computed_types_env; |
... | ... | |
116 | 114 |
|
117 | 115 |
(* checking clocks compatibility with computed clocks*) |
118 | 116 |
Clock_calculus.check_env_compat header declared_clocks_env computed_clocks_env; |
119 |
Clock_calculus.uneval_prog_generics prog |
|
117 |
Clock_calculus.uneval_prog_generics prog; |
|
118 |
|
|
119 |
(* checking stateless status compatibility *) |
|
120 |
Stateless.check_compat header |
|
120 | 121 |
|
121 | 122 |
with Sys_error _ -> ( |
122 | 123 |
(* Printing lusi file is necessary *) |
... | ... | |
199 | 200 |
(* Sorting nodes *) |
200 | 201 |
let prog = SortProg.sort prog in |
201 | 202 |
|
202 |
(* Checking stateless/stateful status *) |
|
203 |
check_stateless_decls prog; |
|
204 |
|
|
205 | 203 |
(* Typing *) |
206 | 204 |
let computed_types_env = type_decls type_env prog in |
207 | 205 |
|
208 | 206 |
(* Clock calculus *) |
209 | 207 |
let computed_clocks_env = clock_decls clock_env prog in |
210 | 208 |
|
209 |
(* Checking stateless/stateful status *) |
|
210 |
check_stateless_decls prog; |
|
211 |
|
|
211 | 212 |
(* Perform global inlining *) |
212 | 213 |
let prog = |
213 | 214 |
if !Options.global_inline && |
Also available in: Unified diff