Project

General

Profile

Revision 0d54d8a8 src/typing.ml

View differences:

src/typing.ml
767 767
         type_top_const env c
768 768
      | TypeDef _ -> List.fold_left type_top_decl env (consts_of_enum_type decl)
769 769
      | Open _  -> env
770
      | Contract c -> type_spec env c
771

  
770
    
772 771
    let get_type_of_call decl =
773 772
      match decl.top_decl_desc with
774 773
      | Node nd         ->
......
812 811
         uneval_node_generics (nd.node_inputs @ nd.node_outputs)
813 812
      | ImportedNode nd ->
814 813
         uneval_node_generics (nd.nodei_inputs @ nd.nodei_outputs)
815
      | Contract c -> uneval_spec_generics c
816 814
      | Const _
817 815
        | TypeDef _
818 816
        | Open _

Also available in: Unified diff