Fix OCaml stubs

Author: mszabo-wikia

hphp/hack/src/stubs/dune

@@ -59,6 +59,17 @@
  (preprocess
   (pps lwt_ppx ppx_deriving.std)))
 
+(library
+ (name state_loader_stubs)
+ (wrapped false)
+ (modules saved_state_loader state_loader_futures state_loader_lwt)
+ (libraries
+  hg
+  server_env
+  typechecker_options)
+ (preprocess
+  (pps lwt_ppx ppx_deriving.std)))
+
 (library
   (name remote_old_decls_ffi)
   (wrapped false)

hphp/hack/src/stubs/state_loader.mli

@@ -0,0 +1,74 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the "hack" directory of this source tree.
+ *
+ *)
+
+type dirty_files = {
+  master_changes: Relative_path.t list;
+  local_changes: Relative_path.t list;
+}
+
+type hot_decls_paths = {
+  legacy_hot_decls_path: string;
+  shallow_hot_decls_path: string;
+}
+
+type native_load_result = {
+  naming_table_path: string;
+  corresponding_rev: Hg.rev;
+  mergebase_rev: Hg.global_rev option;
+  mergebase: Hg.Rev.t option Future.t;
+  is_cached: bool;
+  state_distance: int;
+  deptable_fn: string;
+  dirty_files: dirty_files Future.t;
+  hot_decls_paths: hot_decls_paths;
+  errors_path: string;
+}
+
+type saved_state_handle = {
+  saved_state_for_rev: Hg.rev;
+  saved_state_everstore_handle: string;
+  watchman_mergebase: MonitorUtils.watchman_mergebase option;
+}
+
+type error = unit
+
+type verbose_error = {
+  message: string;
+  stack: Utils.callstack;
+  auto_retry: bool;
+  environment: string option;
+}
+[@@deriving show]
+
+val error_string_verbose : error -> verbose_error
+
+val cached_state :
+  load_64bit:bool ->
+  ?saved_state_handle:saved_state_handle ->
+  config_hash:string ->
+  rev:Hg.rev ->
+  (Hg.rev * string * MonitorUtils.watchman_mergebase option) option
+
+val fetch_saved_state :
+  load_64bit:bool ->
+  ?cache_limit:int ->
+  config:State_loader_config.timeouts ->
+  config_hash:string ->
+  saved_state_handle ->
+  (string, error) result Future.t
+
+val mk_state_future :
+  config:State_loader_config.timeouts ->
+  load_64bit:bool ->
+  ?saved_state_handle:saved_state_handle ->
+  config_hash:string option ->
+  ignore_hh_version:bool ->
+  ignore_hhconfig:bool ->
+  use_prechecked_files:bool ->
+  Path.t ->
+  (native_load_result, error) result Future.t

hphp/hack/src/stubs/state_loader_futures.ml

@@ -0,0 +1,30 @@
+(*
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the "hack" directory of this source tree.
+ *
+ *)
+
+let get_project_metadata
+    ~progress_callback:_
+    ~saved_state_type:_
+    ~repo:_
+    ~ignore_hh_version:_
+    ~opts:_ =
+  failwith "Not implemented"
+
+let load ~ssopt:_ ~progress_callback:_ ~watchman_opts:_ ~ignore_hh_version:_ =
+  Future.of_value (Error "Not implemented")
+
+let wait_for_finish _ = failwith "Not implemented"
+
+let wait_for_finish_with_debug_details _ = failwith "Not implemented"
+
+let download_and_unpack_saved_state_from_manifold
+    ~ssopt:_
+    ~progress_callback:_
+    ~manifold_path:_
+    ~target_path:_
+    ~saved_state_type:_ =
+  failwith "Not implemented"

hphp/hack/src/stubs/state_loader_lwt.ml

@@ -0,0 +1,40 @@
+(**
+ * Copyright (c) Facebook, Inc. and its affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the "hack" directory of this source tree.
+ *
+ *)
+
+let get_project_metadata ~repo:_ ~ignore_hh_version:_ ~opts:_ =
+  Lwt.return (Error ("Not implemented", Telemetry.create ()))
+
+let load ~ssopt:_ ~progress_callback:_ ~watchman_opts:_ ~ignore_hh_version:_ =
+  Lwt.return (Error "Not implemented")
+
+let load_internal
+    ~ssopt:_
+    ~progress_callback:_
+    ~watchman_opts:_
+    ~ignore_hh_version:_
+    ~saved_state_type:_ =
+  failwith "Not implemented"
+
+let prepare_download_dir () = failwith "Not implemented"
+
+let get_saved_state_target_path ~download_dir:_ ~manifold_path:_ =
+  failwith "Not implemented"
+
+let download_and_unpack_saved_state_from_manifold
+    ~ssopt:_ ~progress_callback:_ ~manifold_path:_ ~target_path:_ =
+  failwith "Not implemented"
+
+module FromDisk = struct
+  type load_result = {
+    naming_table_path: Path.t;
+    warning_saved_state_path: Path.t;
+    files_changed: Saved_state_loader.changed_files;
+  }
+
+  let load ~project_metadata:_ ~threshold:_ ~root:_ = Error "Not implemented"
+end