Project

General

Profile

Revision 719f9992 src/main_lustre_compiler.ml

View differences:

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