[lint] linter to force every file to `open! IStd`

Summary: Otherwise the dead code checker sometimes crashes with a not-totally-related error.

Reviewed By: mbouaziz

Differential Revision: D8732546

fbshipit-source-id: 65caabd

infer/src/IR/ProcnameDispatcher.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 (** To be used in 'list_constraint *)
 type accept_more
  and end_of_list

infer/src/IR/SourceFiles.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val add : SourceFile.t -> Cfg.t -> Tenv.per_file -> unit
 (** Add or replace the row corresponding to the source file into the database. *)
 

infer/src/base/EventLogger.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 type analysis_issue =
   { bug_kind: string
   ; bug_type: string

infer/src/base/FileDiff.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 module UnixDiff : sig
   module VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY : sig
     type t = Unchanged | New | Old

infer/src/base/JsonBuilder.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 type t
 
 val empty : t

infer/src/base/ProcessPoolState.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val in_child : bool ref
 (** Keep track of whether the current execution is in a child process *)
 

infer/src/base/ResultsDatabase.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val database_filename : string
 (** the relative path to the database from the results directory *)
 

infer/src/biabduction/SymExecBlocks.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val resolve_method_with_block_args_and_analyze :
   caller_pdesc:Procdesc.t -> Typ.Procname.t -> (Exp.t * Typ.t) list
   -> (Summary.t * (Exp.t * Typ.t) list) option

infer/src/clang/CTLExceptions.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 (** Raised when the parser encounters a violation of a certain invariant  *)
 exception ALParserInvariantViolationException of string
 

infer/src/clang/objcMethod_decl.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val get_methods :
   CAst_utils.procname_from_decl -> Tenv.t -> Clang_ast_t.decl list -> Typ.Procname.t list
 

infer/src/clang/tableaux.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 module ClosureHashtbl : Caml.Map.S with type key = CTL.t
 
 type context_linter_map = bool ClosureHashtbl.t

infer/src/integration/testDeterminator.mli

@@ -5,6 +5,8 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val test_to_run_java : string option -> string option -> string option -> unit
 
 val _test_to_run_clang :

infer/src/java/jConfig.mli

@@ -5,6 +5,7 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
 open Javalib_pack
 
 val string_cl : string

infer/src/python_stubs/pythonMain.ml

@@ -4,5 +4,6 @@
  * This source code is licensed under the MIT license found in the
  * LICENSE file in the root directory of this source tree.
  *)
+open! IStd
 
 let go _ = ()

infer/src/python_stubs/pythonMain.mli

@@ -5,4 +5,6 @@
  * LICENSE file in the root directory of this source tree.
  *)
 
+open! IStd
+
 val go : string list -> unit