Project

General

Profile

Revision 01c7d5e1 src/main_lustre_compiler.ml

View differences:

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