Revision 6394042a src/main_lustre_compiler.ml
src/main_lustre_compiler.ml | ||
---|---|---|
127 | 127 |
if !Options.global_inline && |
128 | 128 |
(match !Options.main_node with | "" -> false | _ -> true) then |
129 | 129 |
Inliner.global_inline basename prog type_env clock_env |
130 |
else |
|
131 |
prog
|
|
130 |
else (* if !Option.has_local_inline *)
|
|
131 |
Inliner.local_inline basename prog type_env clock_env
|
|
132 | 132 |
in |
133 | 133 |
|
134 | 134 |
(* Delay calculus *) |
135 |
(* |
|
135 |
(* TO BE DONE LATER (Xavier)
|
|
136 | 136 |
if(!Options.delay_calculus) |
137 | 137 |
then |
138 | 138 |
begin |
... | ... | |
146 | 146 |
raise exc |
147 | 147 |
end; |
148 | 148 |
*) |
149 |
(* |
|
150 |
eprintf "Causality analysis@.@?"; |
|
151 |
(* Causality analysis *) |
|
152 |
begin |
|
153 |
try |
|
154 |
Causality.check_causal_prog prog |
|
155 |
with (Causality.Cycle v) as exc -> |
|
156 |
Causality.pp_error err_formatter v; |
|
157 |
raise exc |
|
158 |
end; |
|
159 |
*) |
|
160 |
|
|
149 |
|
|
161 | 150 |
(* Creating destination directory if needed *) |
162 | 151 |
create_dest_dir (); |
163 | 152 |
|
Also available in: Unified diff