Project

General

Profile

Revision 19a1e66b src/corelang.ml

View differences:

src/corelang.ml
642 642
    fun nodes decl ->
643 643
      match decl.top_decl_desc with
644 644
	| Node _ -> decl::nodes
645
	| Const _ | ImportedNode _ | Open _ | TypeDef _ -> nodes  
645
	| Const _ | ImportedNode _ | Include _ | Open _ | TypeDef _ -> nodes  
646 646
  ) [] prog
647 647

  
648 648
let get_imported_nodes prog = 
......
650 650
    fun nodes decl ->
651 651
      match decl.top_decl_desc with
652 652
	| ImportedNode _ -> decl::nodes
653
	| Const _ | Node _ | Open _ | TypeDef _-> nodes  
653
	| Const _ | Node _ | Include _ | Open _ | TypeDef _-> nodes  
654 654
  ) [] prog
655 655

  
656 656
let get_consts prog = 
......
658 658
    fun decl consts ->
659 659
      match decl.top_decl_desc with
660 660
	| Const _ -> decl::consts
661
	| Node _ | ImportedNode _ | Open _ | TypeDef _ -> consts  
661
	| Node _ | ImportedNode _ | Include _ | Open _ | TypeDef _ -> consts  
662 662
  ) prog []
663 663

  
664 664
let get_typedefs prog = 
......
666 666
    fun decl types ->
667 667
      match decl.top_decl_desc with
668 668
	| TypeDef _ -> decl::types
669
	| Node _ | ImportedNode _ | Open _ | Const _ -> types  
669
	| Node _ | ImportedNode _ | Include _ | Open _ | Const _ -> types  
670 670
  ) prog []
671 671

  
672 672
let get_dependencies prog =
......
674 674
    fun decl deps ->
675 675
      match decl.top_decl_desc with
676 676
	| Open _ -> decl::deps
677
	| Node _ | ImportedNode _ | TypeDef _ | Const _ -> deps  
677
	| Node _ | ImportedNode _ | TypeDef _ | Include _ | Const _ -> deps  
678 678
  ) prog []
679 679

  
680 680
let get_node_interface nd =
......
878 878
      | TypeDef tdef ->
879 879
	 { top with top_decl_desc = TypeDef (rename_typedef f_var tdef) }
880 880
      | ImportedNode _
881
      | Open _       -> top)
881
        | Include _ | Open _       -> top)
882 882
      ::accu
883 883
) [] prog
884 884
		   )
......
934 934
    fprintf fmt "%s: " ind.nodei_id;
935 935
    Utils.reset_names ();
936 936
    fprintf fmt "%a@ " Types.print_ty ind.nodei_type
937
  | Const _ | Open _ | TypeDef _ -> ()
937
  | Const _ | Include _ | Open _ | TypeDef _ -> ()
938 938

  
939 939
let pp_prog_type fmt tdecl_list =
940 940
  Utils.fprintf_list ~sep:"" pp_decl_type fmt tdecl_list
......
949 949
    fprintf fmt "%s: " ind.nodei_id;
950 950
    Utils.reset_names ();
951 951
    fprintf fmt "%a@ " Clocks.print_ck ind.nodei_clock
952
  | Const _ | Open _ | TypeDef _ -> ()
952
  | Const _ | Include _ | Open _ | TypeDef _ -> ()
953 953

  
954 954
let pp_prog_clock fmt prog =
955 955
  Utils.fprintf_list ~sep:"" pp_decl_clock fmt prog

Also available in: Unified diff