Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/corelang.ml
257 257
  e
258 258

  
259 259

  
260
let mkinstr ?lustre_eq instr_spec instr_desc = {
260
let mkinstr ?lustre_eq ?(instr_spec=[]) instr_desc = {
261 261
  instr_desc;
262 262
  (* lustre_expr = lustre_expr; *)
263 263
  instr_spec;
......
662 662
  List.fold_left (
663 663
    fun nodes decl ->
664 664
      match decl.top_decl_desc with
665
	| Node _ -> decl::nodes
666
	| Const _ | ImportedNode _ | Include _ | Open _ | TypeDef _ -> nodes  
665
      | Node _ -> decl::nodes
666
      | Const _ | ImportedNode _ | Include _ | Open _ | TypeDef _ -> nodes
667 667
  ) [] prog
668
  |> List.rev
668 669

  
669 670
let get_imported_nodes prog = 
670 671
  List.fold_left (

Also available in: Unified diff