CristalCaveGem » LustreC

      try

	let basename = (if local then s else Version.prefix ^ "/include/lustrec/" ^ s ) ^ ".lusi" in 

	report ~level:1 (fun fmt -> fprintf fmt "@[<v 0>Library %s@," basename);

	report ~level:1 (fun fmt -> fprintf fmt "@]@ ");

      with Sys_error msg -> (

	Format.eprintf "Failure: impossible to load library %s.@.%s@." s msg;

	exit 1

    )  ([], Basic_library.type_env, Basic_library.clock_env) dependencies

  in

  report ~level:1 (fun fmt -> fprintf fmt "@]@ ");

  (* Unfold consts *)

  (*let prog = Corelang.prog_unfold_consts prog in*)

      let _ = open_in lusi_name in

      let header = load_lusi true lusi_name 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;

      Typing.uneval_prog_generics prog;

      (* checking clocks compatibility with computed clocks*)

      Clock_calculus.check_env_compat header declared_clocks_env computed_clocks_env;

      Clock_calculus.uneval_prog_generics prog;

      (* checking stateless status compatibility *)

      Stateless.check_compat header

    with Sys_error _ -> (