Add project-level format.

Author: cristianoc

analysis/.ocamlformat-ignore

@@ -0,0 +1,2 @@
+vendor/compiler-libs-406/*
+vendor/res_outcome_printer/*

analysis/Makefile

@@ -16,6 +16,9 @@ build: build-analysis-binary build-reanalyze build-tests
 dce: build-analysis-binary
 	opam exec reanalyze.exe -- -dce-cmt _build -suppress vendor
 
+format:
+	dune build @fmt --auto-promote
+
 test-analysis-binary: build-analysis-binary
 	make -C tests test
 
@@ -35,4 +38,4 @@ clean-deep:
 
 .DEFAULT_GOAL := build
 
-.PHONY: build-analysis-binary build-reanalyze build-tests dce clean clean-deep test
+.PHONY: build-analysis-binary build-reanalyze build-tests dce clean clean-deep format test

analysis/reanalyze/dune

@@ -1 +1 @@
-(dirs src)
+(dirs src)

analysis/reanalyze/src/Annotation.ml

@@ -9,9 +9,7 @@ type attributePayload =
   | UnrecognizedPayload
 
 let tagIsGenType s = s = "genType" || s = "gentype"
-
 let tagIsGenTypeImport s = s = "genType.import" || s = "gentype.import"
-
 let tagIsGenTypeOpaque s = s = "genType.opaque" || s = "gentype.opaque"
 
 let tagIsOneOfTheGenTypeAnnotations s =

analysis/reanalyze/src/Arnold.ml

@@ -14,11 +14,9 @@ end
 
 module FunctionArgs = struct
   type arg = {label : string; functionName : FunctionName.t}
-
   type t = arg list
 
   let empty = []
-
   let argToString {label; functionName} = label ^ ":" ^ functionName
 
   let toString functionArgs =
@@ -82,17 +80,11 @@ module FunctionCallSet = Set.Make (FunctionCall)
 
 module Stats = struct
   let nCacheChecks = ref 0
-
   let nCacheHits = ref 0
-
   let nFiles = ref 0
-
   let nFunctions = ref 0
-
   let nHygieneErrors = ref 0
-
   let nInfiniteLoops = ref 0
-
   let nRecursiveBlocks = ref 0
 
   let print ppf () =
@@ -107,7 +99,6 @@ module Stats = struct
     Format.fprintf ppf "@]"
 
   let dump ~ppf = Format.fprintf ppf "%a@." print ()
-
   let newFile () = incr nFiles
 
   let newRecursiveFunctions ~numFunctions =
@@ -246,7 +237,6 @@ module Trace = struct
     | _ -> Tseq [t1; t2]
 
   let some = Toption Rsome
-
   let none = Toption Rnone
 
   let retOptionToString r =
@@ -273,21 +263,15 @@ module Values : sig
   type t
 
   val getNone : t -> Progress.t option
-
   val getSome : t -> Progress.t option
-
   val nd : t -> t -> t
-
   val none : progress:Progress.t -> t
-
   val some : progress:Progress.t -> t
-
   val toString : t -> string
 end = struct
   type t = {none : Progress.t option; some : Progress.t option}
 
   let getNone {none} = none
-
   let getSome {some} = some
 
   let toString x =
@@ -299,7 +283,6 @@ end = struct
     |> String.concat ", "
 
   let none ~progress = {none = Some progress; some = None}
-
   let some ~progress = {none = None; some = Some progress}
 
   let nd (v1 : t) (v2 : t) : t =
@@ -384,7 +367,6 @@ end
 
 module Command = struct
   type progress = Progress.t
-
   type retOption = Trace.retOption
 
   type t =
@@ -450,7 +432,6 @@ end
 
 module Kind = struct
   type t = entry list
-
   and entry = {label : string; k : t}
 
   let empty = ([] : t)
@@ -502,7 +483,6 @@ module FunctionTable = struct
     Format.fprintf ppf "@]"
 
   let dump tbl = Format.fprintf Format.std_formatter "%a@." print tbl
-
   let initialFunctionDefinition () = {kind = Kind.empty; body = None}
 
   let getFunctionDefinition ~functionName (tbl : t) =
@@ -1034,7 +1014,6 @@ end
 
 module CallStack = struct
   type frame = {frameNumber : int; pos : Lexing.position}
-
   type t = {tbl : (FunctionCall.t, frame) Hashtbl.t; mutable size : int}
 
   let create () = {tbl = Hashtbl.create 1; size = 0}
@@ -1072,7 +1051,6 @@ end
 
 module Eval = struct
   type progress = Progress.t
-
   type cache = (FunctionCall.t, State.t) Hashtbl.t
 
   let createCache () : cache = Hashtbl.create 1

analysis/reanalyze/src/Common.ml

@@ -1,9 +1,6 @@
 let currentSrc = ref ""
-
 let currentModule = ref ""
-
 let currentModuleName = ref ("" |> Name.create)
-
 let runConfig = RunConfig.runConfig
 
 (* Location printer: `filename:line: ' *)
@@ -16,16 +13,13 @@ let posToString (pos : Lexing.position) =
 
 module Cli = struct
   let debug = ref false
-
   let ci = ref false
 
   (** The command was a -cmt variant (e.g. -exception-cmt) *)
   let cmtCommand = ref false
 
   let experimental = ref false
-
   let json = ref false
-
   let write = ref false
 
   (* names to be considered live values *)
@@ -54,7 +48,6 @@ module FileHash = struct
     type t = string
 
     let hash (x : t) = Hashtbl.hash x
-
     let equal (x : t) y = x = y
   end)
 end
@@ -167,7 +160,6 @@ module OptionalArgs = struct
     y.alwaysUsed <- alwaysUsed
 
   let iterUnused f x = StringSet.iter f x.unused
-
   let iterAlwaysUsed f x = StringSet.iter (fun s -> f s x.count) x.alwaysUsed
 end
 
@@ -222,7 +214,6 @@ type missingRaiseInfo = {
 }
 
 type severity = Warning | Error
-
 type deadOptional = WarningUnusedArgument | WarningRedundantOptionalArgument
 
 type termination =

analysis/reanalyze/src/DeadCommon.ml

@@ -11,21 +11,15 @@ end)
 module Config = struct
   (* Turn on type analysis *)
   let analyzeTypes = ref true
-
   let analyzeExternals = ref false
-
   let reportUnderscore = false
-
   let reportTypesDeadOnlyInInterface = false
-
   let recursiveDebug = false
-
   let warnOnCircularDependencies = false
 end
 
 module Current = struct
   let bindings = ref PosSet.empty
-
   let lastBinding = ref Location.none
 
   (** max end position of a value reported dead *)
@@ -71,7 +65,6 @@ module ValueReferences = struct
   let table = (PosHash.create 256 : PosSet.t PosHash.t)
 
   let add posTo posFrom = PosHash.addSet table posTo posFrom
-
   let find pos = PosHash.findSet table pos
 end
 
@@ -80,7 +73,6 @@ module TypeReferences = struct
   let table = (PosHash.create 256 : PosSet.t PosHash.t)
 
   let add posTo posFrom = PosHash.addSet table posTo posFrom
-
   let find pos = PosHash.findSet table pos
 end
 
@@ -195,7 +187,6 @@ module ProcessDeadAnnotations = struct
   type annotatedAs = GenType | Dead | Live
 
   let positionsAnnotated = PosHash.create 1
-
   let isAnnotatedDead pos = PosHash.find_opt positionsAnnotated pos = Some Dead
 
   let isAnnotatedGenTypeOrLive pos =

analysis/reanalyze/src/DeadException.ml

@@ -4,7 +4,6 @@ open Common
 type item = {exceptionPath : Path.t; locFrom : Location.t}
 
 let delayedItems = ref []
-
 let declarations = Hashtbl.create 1
 
 let add ~path ~loc ~(strLoc : Location.t) name =

analysis/reanalyze/src/DeadModules.ml

@@ -1,5 +1,4 @@
 let active () = true
-
 let table = Hashtbl.create 1
 
 let markDead ~isType ~loc path =

analysis/reanalyze/src/DeadOptionalArgs.ml

@@ -10,7 +10,6 @@ type item = {
 }
 
 let delayedItems = (ref [] : item list ref)
-
 let functionReferences = (ref [] : (Lexing.position * Lexing.position) list ref)
 
 let addFunctionReference ~(locFrom : Location.t) ~(locTo : Location.t) =