hphp/hack/src/server/serverTypeCheck.mli

   1 (*
   2  * Copyright (c) 2015, Facebook, Inc.
   3  * All rights reserved.
   4  *
   5  * This source code is licensed under the MIT license found in the
   6  * LICENSE file in the "hack" directory of this source tree.
   7  *
   8  *)
   9
  10 module CheckStats : sig
  11   type t = {
  12     reparse_count: int;
  13     total_rechecked_count: int;
  14     time_first_result: ServerEnv.seconds_since_epoch option;
  15         (** This is either the duration to get the first error if any
  16             or until we get "typecheck done" status message. *)
  17   }
  18 end
  19
  20 val type_check :
  21   ServerEnv.genv ->
  22   ServerEnv.env ->
  23   float ->
  24   CgroupProfiler.step_group ->
  25   ServerEnv.env * CheckStats.t * Telemetry.t
  26
  27 (****************************************************************************)
  28 (* Debugging: Declared here to stop ocamlc yelling at us for unused defs *)
  29 (****************************************************************************)
  30
  31 val print_defs : string -> ('a * string) list -> unit
  32
  33 val print_defs_per_file_pos :
  34   (('a * string) list * ('b * string) list) SMap.t -> unit
  35
  36 val print_fast : (SSet.t * SSet.t) SMap.t -> unit