Project

General

Profile

Revision a38c681e src/main_lustre_compiler.ml

View differences:

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