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