More dce

Author: cristianoc

jscomp/gentype/Annotation.ml

@@ -275,12 +275,6 @@ and structureCheckAnnotation ~checkAnnotation (structure : Typedtree.structure)
   structure.str_items
   |> List.exists (structureItemCheckAnnotation ~checkAnnotation)
 
-let sanitizeVariableName name =
-  name
-  |> String.map (function
-       | '-' -> '_'
-       | c -> c)
-
 let importFromString importString : import =
   let importPath = ImportPath.fromStringUnsafe importString in
   {importPath}

jscomp/gentype/GenTypeCommon.ml

@@ -92,7 +92,7 @@ and variant = {
   unboxed: bool;
 }
 
-and payload = {case: case; numArgs: int; [@live] t: type_}
+and payload = {case: case; t: type_}
 
 type label = Nolabel | Label of string | OptLabel of string
 

jscomp/gentype/TranslateCoreType.ml

@@ -204,7 +204,6 @@ and translateCoreType_ ~config ~typeVarsGen
         |> List.map (fun (label, _attributes, translation) ->
                {
                  case = {label; labelJS = StringLabel label};
-                 numArgs = 1;
                  t = translation.type_;
                })
       in

jscomp/gentype/TranslateTypeDeclarations.ml

@@ -281,11 +281,9 @@ let traslateDeclarationKind ~config ~loc ~outputFileRelative ~resolver
                | [type_] -> type_
                | _ -> Tuple argTypes
              in
-             let numArgs = argTypes |> List.length in
              {
                case =
                  {((name, attributes) |> createCase) with label = recordValue};
-               numArgs;
                t = type_;
              })
     in

jscomp/gentype/TranslateTypeExprFromTypes.ml

@@ -132,11 +132,7 @@ let translateConstr ~config ~paramsTranslation ~(path : Path.t) ~typeEnv =
   | ( (["Pervasives"; "result"] | ["Belt"; "Result"; "t"]),
       [paramTranslation1; paramTranslation2] ) ->
     let case n name type_ =
-      {
-        case = {label = string_of_int n; labelJS = StringLabel name};
-        numArgs = 1;
-        t = type_;
-      }
+      {case = {label = string_of_int n; labelJS = StringLabel name}; t = type_}
     in
     let variant =
       createVariant ~inherits:[] ~noPayloads:[]
@@ -410,7 +406,6 @@ and translateTypeExprFromTypes_ ~config ~typeVarsGen ~typeEnv
         |> List.map (fun (label, translation) ->
                {
                  case = {label; labelJS = StringLabel label};
-                 numArgs = 1;
                  t = translation.type_;
                })
       in