| 35 |
35 |
try
|
| 36 |
36 |
Stateless.check_prog decls
|
| 37 |
37 |
with (Stateless.Error (loc, err)) as exc ->
|
| 38 |
|
Format.eprintf "Stateless status error at loc %a: %a@."
|
| 39 |
|
Location.pp_loc loc
|
| 40 |
|
Stateless.pp_error err;
|
|
38 |
eprintf "Stateless status error %a%a@."
|
|
39 |
Stateless.pp_error err
|
|
40 |
Location.pp_loc loc;
|
| 41 |
41 |
raise exc
|
| 42 |
42 |
|
| 43 |
43 |
let type_decls env decls =
|
| ... | ... | |
| 47 |
47 |
try
|
| 48 |
48 |
Typing.type_prog env decls
|
| 49 |
49 |
with (Types.Error (loc,err)) as exc ->
|
| 50 |
|
Format.eprintf "Typing error at loc %a: %a@."
|
| 51 |
|
Location.pp_loc loc
|
| 52 |
|
Types.pp_error err;
|
|
50 |
eprintf "Typing error %a%a@."
|
|
51 |
Types.pp_error err
|
|
52 |
Location.pp_loc loc;
|
| 53 |
53 |
raise exc
|
| 54 |
54 |
end
|
| 55 |
55 |
in
|
| ... | ... | |
| 64 |
64 |
try
|
| 65 |
65 |
Clock_calculus.clock_prog env decls
|
| 66 |
66 |
with (Clocks.Error (loc,err)) as exc ->
|
| 67 |
|
Location.print loc;
|
| 68 |
|
eprintf "Clock calculus error at loc %a: %a@." Location.pp_loc loc Clocks.pp_error err;
|
|
67 |
eprintf "Clock calculus error %a%a@." Clocks.pp_error err Location.pp_loc loc;
|
| 69 |
68 |
raise exc
|
| 70 |
69 |
end
|
| 71 |
70 |
in
|
| ... | ... | |
| 88 |
87 |
Parse.report_error err;
|
| 89 |
88 |
raise exc
|
| 90 |
89 |
| Corelang.Error (loc, err) as exc -> (
|
| 91 |
|
Format.eprintf "Parsing error at loc %a: %a@."
|
| 92 |
|
Location.pp_loc loc
|
| 93 |
|
Corelang.pp_error err;
|
|
90 |
eprintf "Parsing error %a%a@."
|
|
91 |
Corelang.pp_error err
|
|
92 |
Location.pp_loc loc;
|
| 94 |
93 |
raise exc
|
| 95 |
94 |
)
|
| 96 |
95 |
|
| ... | ... | |
| 118 |
117 |
Parse.report_error err;
|
| 119 |
118 |
raise exc
|
| 120 |
119 |
| Corelang.Error (loc, err) as exc ->
|
| 121 |
|
Format.eprintf "Parsing error at loc %a: %a@."
|
| 122 |
|
Location.pp_loc loc
|
| 123 |
|
Corelang.pp_error err;
|
|
120 |
eprintf "Parsing error %a%a@."
|
|
121 |
Corelang.pp_error err
|
|
122 |
Location.pp_loc loc;
|
| 124 |
123 |
raise exc
|
| 125 |
124 |
in
|
| 126 |
125 |
(* Extracting dependencies *)
|
| ... | ... | |
| 144 |
143 |
Env.overwrite type_env lusi_type_env,
|
| 145 |
144 |
Env.overwrite clock_env lusi_clock_env
|
| 146 |
145 |
with Sys_error msg -> (
|
| 147 |
|
Format.eprintf "Failure: impossible to load library %s.@.%s@." s msg;
|
|
146 |
eprintf "Failure: impossible to load library %s.@.%s@." s msg;
|
| 148 |
147 |
exit 1
|
| 149 |
148 |
)
|
| 150 |
149 |
) ([], Basic_library.type_env, Basic_library.clock_env) dependencies
|
| ... | ... | |
| 233 |
232 |
Printers.pp_lusi_header lusi_fmt source_name prog
|
| 234 |
233 |
)
|
| 235 |
234 |
| (Types.Error (loc,err)) as exc ->
|
| 236 |
|
Format.eprintf "Type mismatch between computed type and declared type in lustre interface file: %a@."
|
|
235 |
eprintf "Type mismatch between computed type and declared type in lustre interface file: %a@."
|
| 237 |
236 |
Types.pp_error err;
|
| 238 |
237 |
raise exc
|
| 239 |
238 |
| Clocks.Error (loc, err) as exc ->
|
| 240 |
|
Format.eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a@."
|
|
239 |
eprintf "Clock mismatch between computed clock and declared clock in lustre interface file: %a@."
|
| 241 |
240 |
Clocks.pp_error err;
|
| 242 |
241 |
raise exc
|
| 243 |
242 |
| Stateless.Error (loc, err) as exc ->
|
| 244 |
|
Format.eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a@."
|
|
243 |
eprintf "Stateless status mismatch between defined status and declared status in lustre interface file: %a@."
|
| 245 |
244 |
Stateless.pp_error err;
|
| 246 |
245 |
raise exc
|
| 247 |
246 |
in
|
| ... | ... | |
| 275 |
274 |
Unix.mkdir !Options.dest_dir (Unix.stat ".").Unix.st_perm
|
| 276 |
275 |
);
|
| 277 |
276 |
if (Unix.stat !Options.dest_dir).Unix.st_kind <> Unix.S_DIR then (
|
| 278 |
|
Format.eprintf "Failure: destination %s is not a directory.@.@." !Options.dest_dir;
|
|
277 |
eprintf "Failure: destination %s is not a directory.@.@." !Options.dest_dir;
|
| 279 |
278 |
exit 1
|
| 280 |
279 |
);
|
| 281 |
280 |
(* Printing code *)
|
Math lusi (trigo)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@253 041b043f-8d7c-46b2-b46e-ef0dd855326e