/src/main_lustre_compiler.ml - Diff - LustreC

Revision 6394042a src/main_lustre_compiler.ml

         if !Options.global_inline &&
           (match !Options.main_node with | "" -> false | _ -> true) then
           Inliner.global_inline basename prog type_env clock_env
         else
           prog
         else (* if !Option.has_local_inline *)
           Inliner.local_inline basename prog type_env clock_env
       in
       (* Delay calculus *)
       (*
       (* TO BE DONE LATER (Xavier)
         if(!Options.delay_calculus)
         then
         begin
-...
         raise exc
         end;
       *)
       (*
         eprintf "Causality analysis@.@?";
         (* Causality analysis *)
         begin
         try
         Causality.check_causal_prog prog
         with (Causality.Cycle v) as exc ->
         Causality.pp_error err_formatter v;
         raise exc
         end;
       *)
       (* Creating destination directory if needed *)
       create_dest_dir ();

Also available in: Unified diff