Project

General

Profile

Revision 6affc9f5 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
63 63
    report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,@?" Corelang.pp_prog_clock decls);
64 64
  new_env
65 65

  
66
(* Loading Lusi file and filing type tables with parsed
66
(* Loading Lusi file and filling type tables with parsed
67 67
   functions/nodes *)
68 68
let load_lusi filename =
69 69
  Location.input_name := filename;
......
94 94
  let prog =
95 95
    try
96 96
      Parse.prog Parser_lustre.prog Lexer_lustre.token lexbuf
97
    with (Lexer_lustre.Error err) | (Parse.Syntax_err err) as exc -> 
97
    with
98
    | (Lexer_lustre.Error err) | (Parse.Syntax_err err) as exc -> 
98 99
      Parse.report_error err;
99 100
      raise exc
101
    | Corelang.Error (err, loc) as exc ->
102
      Format.eprintf "Parsing error at loc %a: %a@]@."
103
	Location.pp_loc loc
104
	Corelang.pp_error err;
105
      raise exc
100 106
  in
101 107
  (* Extracting dependencies *)
102 108
  report ~level:1 (fun fmt -> fprintf fmt ".. extracting dependencies@,@?");

Also available in: Unified diff