signFile is unused

Author: cristianoc

jscomp/gentype/GenType.ml

@@ -1,5 +1,4 @@
 let version = Version.version
-let signFile s = s
 
 type cliCommand = Add of string | Clean | NoOp | Rm of string list
 
@@ -44,7 +43,7 @@ let cli () =
         in
         let config = Paths.readConfig ~namespace:(cmt |> Paths.findNameSpace) in
         if !Debug.basic then Log_.item "Add %s  %s\n" cmt mlast;
-        cmt |> GenTypeMain.processCmtFile ~signFile ~config;
+        cmt |> GenTypeMain.processCmtFile ~config;
         exit 0
     | Clean ->
         let config = Paths.readConfig ~namespace:None in

jscomp/gentype/GenTypeMain.ml

@@ -3,9 +3,9 @@ module StringSet = Set.Make (String)
 let cmtCheckAnnotations ~checkAnnotation inputCMT =
   match inputCMT.Cmt_format.cmt_annots with
   | Implementation structure ->
-    structure |> Annotation.structureCheckAnnotation ~checkAnnotation
+      structure |> Annotation.structureCheckAnnotation ~checkAnnotation
   | Interface signature ->
-    signature |> Annotation.signatureCheckAnnotation ~checkAnnotation
+      signature |> Annotation.signatureCheckAnnotation ~checkAnnotation
   | _ -> false
 
 let cmtHasTypeErrors inputCMT =
@@ -25,61 +25,60 @@ let signatureItemIsDeclaration signatureItem =
 
 let inputCmtTranslateTypeDeclarations ~config ~outputFileRelative ~resolver
     inputCMT : CodeItem.translation =
-  let {Cmt_format.cmt_annots} = inputCMT in
+  let { Cmt_format.cmt_annots } = inputCMT in
   let typeEnv = TypeEnv.root () in
   let translations =
     match cmt_annots with
     | Implementation structure ->
-      {
-        structure with
-        str_items =
-          structure.str_items |> List.filter structureItemIsDeclaration;
-      }
-      |> TranslateStructure.translateStructure ~config ~outputFileRelative
-           ~resolver ~typeEnv
+        {
+          structure with
+          str_items =
+            structure.str_items |> List.filter structureItemIsDeclaration;
+        }
+        |> TranslateStructure.translateStructure ~config ~outputFileRelative
+             ~resolver ~typeEnv
     | Interface signature ->
-      {
-        signature with
-        sig_items =
-          signature.sig_items |> List.filter signatureItemIsDeclaration;
-      }
-      |> TranslateSignature.translateSignature ~config ~outputFileRelative
-           ~resolver ~typeEnv
+        {
+          signature with
+          sig_items =
+            signature.sig_items |> List.filter signatureItemIsDeclaration;
+        }
+        |> TranslateSignature.translateSignature ~config ~outputFileRelative
+             ~resolver ~typeEnv
     | Packed _ | Partial_implementation _ | Partial_interface _ -> []
   in
   translations |> Translation.combine
   |> Translation.addTypeDeclarationsFromModuleEquations ~typeEnv
 
 let translateCMT ~config ~outputFileRelative ~resolver inputCMT : Translation.t
     =
-  let {Cmt_format.cmt_annots} = inputCMT in
+  let { Cmt_format.cmt_annots } = inputCMT in
   let typeEnv = TypeEnv.root () in
   let translations =
     match cmt_annots with
     | Implementation structure ->
-      structure
-      |> TranslateStructure.translateStructure ~config ~outputFileRelative
-           ~resolver ~typeEnv
+        structure
+        |> TranslateStructure.translateStructure ~config ~outputFileRelative
+             ~resolver ~typeEnv
     | Interface signature ->
-      signature
-      |> TranslateSignature.translateSignature ~config ~outputFileRelative
-           ~resolver ~typeEnv
+        signature
+        |> TranslateSignature.translateSignature ~config ~outputFileRelative
+             ~resolver ~typeEnv
     | _ -> []
   in
   translations |> Translation.combine
   |> Translation.addTypeDeclarationsFromModuleEquations ~typeEnv
 
 let emitTranslation ~config ~fileName ~outputFile ~outputFileRelative ~resolver
-    ~signFile ~sourceFile translation =
+    ~sourceFile translation =
   let codeText =
     translation
     |> EmitJs.emitTranslationAsString ~config ~fileName ~outputFileRelative
          ~resolver ~inputCmtTranslateTypeDeclarations
   in
   let fileContents =
-    signFile
-      (EmitType.fileHeader ~sourceFile:(Filename.basename sourceFile)
-      ^ "\n" ^ codeText ^ "\n")
+    EmitType.fileHeader ~sourceFile:(Filename.basename sourceFile)
+    ^ "\n" ^ codeText ^ "\n"
   in
   GeneratedFiles.writeFileIfRequired ~outputFile ~fileContents
 
@@ -94,7 +93,7 @@ let readCmt cmtFile =
     Log_.item "And try to clean and rebuild.\n\n";
     assert false
 
-let processCmtFile ~signFile ~config cmt =
+let processCmtFile ~config cmt =
   let cmtFile = cmt |> Paths.getCmtFile in
   if cmtFile <> "" then
     let outputFile = cmt |> Paths.getOutputFile ~config in
@@ -103,7 +102,7 @@ let processCmtFile ~signFile ~config cmt =
     let isInterface = Filename.check_suffix cmtFile ".cmti" in
     let resolver =
       ModuleResolver.createLazyResolver ~config
-        ~extensions:[".re"; ".res"; EmitType.shimExtension]
+        ~extensions:[ ".re"; ".res"; EmitType.shimExtension ]
         ~excludeFile:(fun fname ->
           fname = "React.re" || fname = "ReasonReact.re")
     in
@@ -153,13 +152,13 @@ let processCmtFile ~signFile ~config cmt =
         match inputCMT.cmt_annots |> FindSourceFile.cmt with
         | Some sourceFile -> sourceFile
         | None -> (
-          (fileName |> ModuleName.toString)
-          ^ match isInterface with true -> ".resi" | false -> ".res")
+            (fileName |> ModuleName.toString)
+            ^ match isInterface with true -> ".resi" | false -> ".res")
       in
       inputCMT
       |> translateCMT ~config ~outputFileRelative ~resolver
       |> emitTranslation ~config ~fileName ~outputFile ~outputFileRelative
-           ~resolver ~signFile ~sourceFile
+           ~resolver ~sourceFile
     else if inputCMT |> cmtHasTypeErrors then
       outputFile |> GeneratedFiles.logFileAction TypeError
     else (