CristalCaveGem » LustreC

      else (

        type_dependent_call env in_main loc const f (List.combine args targs)

      )

    (* type a call with possible dependent types. [targs] is here a list of (argument, type) pairs. *)

    and type_dependent_call env in_main loc const f targs =

      (* Format.eprintf "Typing.type_dependent_call %s@." f; *)

               check_constant expr.expr_loc const false;	

               type_subtyping_arg env in_main const c (* Type_predef. *)type_bool);

           let args_list = expr_list_of_expr args in

           let targs = new_ty (Ttuple (List.map (fun a -> Expr_type_hub.import a.expr_type) args_list)) in

           args.expr_type <- Expr_type_hub.export targs;

           expr.expr_type <- Expr_type_hub.export touts;

           touts

        | Expr_fby (e1,e2)