CristalCaveGem » LustreC

let extensions = [".ec"; ".lus"; ".lusi"]

let type_decls env decls =  

  report ~level:1 (fun fmt -> fprintf fmt ".. typing@,@?");

  let new_env = 

  | (Lexer_lustre.Error err) | (Parse.Syntax_err err) as exc -> 

    Parse.report_error err;

    raise exc

     Format.eprintf "Parsing error at loc %a: %a@]@."

       Location.pp_loc loc

       Corelang.pp_error err;

    | (Lexer_lustre.Error err) | (Parse.Syntax_err err) as exc -> 

      Parse.report_error err;

      raise exc

      Format.eprintf "Parsing error at loc %a: %a@]@."

	Location.pp_loc loc

	Corelang.pp_error err;

  (* Sorting nodes *)

  let prog = SortProg.sort prog in

  (* Typing *)

  let computed_types_env = type_decls type_env prog in

      let _, declared_types_env, declared_clocks_env = check_lusi header in

      (* checking type compatibility with computed types*)

      Typing.check_env_compat header declared_types_env computed_types_env;

      (* checking clocks compatibility with computed clocks*)

      Clock_calculus.check_env_compat header declared_clocks_env computed_clocks_env;

      Clock_calculus.uneval_prog_generics prog

    with Sys_error _ -> ( 

      (* Printing lusi file is necessary *)