Project

General

Profile

Revision 19a1e66b src/typing.ml

View differences:

src/typing.ml
766 766
      | Const c ->
767 767
         type_top_const env c
768 768
      | TypeDef _ -> List.fold_left type_top_decl env (consts_of_enum_type decl)
769
      | Open _  -> env
769
      | Include _ | Open _  -> env
770 770
    
771 771
    let get_type_of_call decl =
772 772
      match decl.top_decl_desc with
......
811 811
         uneval_node_generics (nd.node_inputs @ nd.node_outputs)
812 812
      | ImportedNode nd ->
813 813
         uneval_node_generics (nd.nodei_inputs @ nd.nodei_outputs)
814
      | Const _
815
        | TypeDef _
816
        | Open _
814
      | Const _ | TypeDef _ | Open _ | Include _ 
817 815
        -> ()
818 816

  
819 817
    let uneval_prog_generics prog =

Also available in: Unified diff