Project

General

Profile

Revision 566dbf49 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
127 127
    if !Options.global_inline &&
128 128
      (match !Options.main_node with | "" -> false | _ -> true) then
129 129
      Inliner.global_inline basename prog type_env clock_env
130
    else
131
      prog
130
    else (* if !Option.has_local_inline *)
131
      Inliner.local_inline basename prog type_env clock_env
132 132
  in
133 133

  
134 134
  (* Delay calculus *)
135
  (*
135
  (* TO BE DONE LATER (Xavier)
136 136
    if(!Options.delay_calculus)
137 137
    then
138 138
    begin
......
146 146
    raise exc
147 147
    end;
148 148
  *)
149
  (*
150
    eprintf "Causality analysis@.@?";
151
    (* Causality analysis *)
152
    begin
153
    try
154
    Causality.check_causal_prog prog
155
    with (Causality.Cycle v) as exc ->
156
    Causality.pp_error err_formatter v;
157
    raise exc
158
    end;
159
  *)
160

  
149
  
161 150
  (* Creating destination directory if needed *)
162 151
  create_dest_dir ();
163 152

  

Also available in: Unified diff