Project

General

Profile

« Previous | Next » 

Revision 719f9992

Added by Xavier Thirioux over 7 years ago

clean handling of undefined node application

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@261 041b043f-8d7c-46b2-b46e-ef0dd855326e

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