Project

General

Profile

Revision 6aeb3388 src/clock_calculus.ml

View differences:

src/clock_calculus.ml
846 846
    clock_imported_node env decl.top_decl_loc nd
847 847
  | Consts clist ->
848 848
    clock_top_consts env clist
849
  | Open _ ->
850
    env
849
  | Open _
850
  | Type _ -> env
851 851

  
852 852
let clock_prog env decls =
853 853
  List.fold_left (fun e decl -> clock_top_decl e decl) env decls
......
878 878
      uneval_node_generics (nd.node_inputs @ nd.node_locals @ nd.node_outputs)
879 879
  | ImportedNode nd ->
880 880
      uneval_node_generics (nd.nodei_inputs @ nd.nodei_outputs)
881
  | Consts clist -> ()
882
  | Open _  -> ()
881
  | Consts _
882
  | Open _
883
  | Type _   -> ()
883 884

  
884 885
let uneval_prog_generics prog =
885 886
 List.iter uneval_top_generics prog

Also available in: Unified diff