Revision 01c7d5e1 src/main_lustre_compiler.ml
src/main_lustre_compiler.ml | ||
---|---|---|
26 | 26 |
open Format |
27 | 27 |
open Log |
28 | 28 |
|
29 |
open LustreSpec |
|
30 |
|
|
29 | 31 |
let usage = "Usage: lustrec [options] <source-file>" |
30 | 32 |
|
31 | 33 |
let extensions = [".ec"; ".lus"; ".lusi"] |
... | ... | |
170 | 172 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>.. extracting dependencies@,"); |
171 | 173 |
let dependencies = |
172 | 174 |
List.fold_right |
173 |
(fun d accu -> match d.Corelang.top_decl_desc with
|
|
174 |
| Corelang.Open (local, s) -> (s, local)::accu
|
|
175 |
(fun d accu -> match d.top_decl_desc with |
|
176 |
| Open (local, s) -> (s, local)::accu |
|
175 | 177 |
| _ -> accu) |
176 | 178 |
prog [] |
177 | 179 |
in |
Also available in: Unified diff