CristalCaveGem » LustreC

(********************************************************************)

open Utils

open LustreSpec

open Corelang

      close_in h_in;

      header

    with

      Parse.report_error err;

      raise exc

    | Corelang.Error (loc, err) as exc -> (

  Location.init lexbuf source_name;

  (* Parsing *)

    (fun fmt -> fprintf fmt ".. parsing source file %s@," source_name);

  try

    let prog = Parse.prog Parser_lustre.prog Lexer_lustre.token lexbuf in

    close_in s_in;

    prog

  with

    Parse.report_error err;

    raise exc

  | Corelang.Error (loc, err) as exc ->

      Location.pp_loc loc;

    raise exc

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

    begin

      try

	Typing.type_prog env decls

	  Types.pp_error err

	  Location.pp_loc loc;

	raise exc

  in

  if !Options.print_types then

    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>  %a@]@ " Corelang.pp_prog_type decls);

  new_env

  Log.report ~level:1 (fun fmt -> fprintf fmt ".. clock calculus@ ");

  let new_env =

    begin

let is_stateful topdecl =

  match topdecl.top_decl_desc with

  | Node nd -> (match nd.node_stateless with Some b -> not b | None -> not nd.node_dec_stateless)

  | _ -> false

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

    deps

  end