dce primitive

Author: cristianoc

compiler/ml/primitive.ml

@@ -18,8 +18,6 @@
 open Misc
 open Parsetree
 
-type boxed_integer = Pbigint | Pint32 | Pint64
-
 type description = {
   prim_name: string; (* Name of primitive  or C function *)
   prim_arity: int; (* Number of arguments *)
@@ -32,24 +30,6 @@ type description = {
 let coerce : (description -> description -> bool) ref =
   ref (fun (p1 : description) (p2 : description) -> p1 = p2)
 
-let simple ~name ~arity ~alloc =
-  {
-    prim_name = name;
-    prim_arity = arity;
-    prim_alloc = alloc;
-    prim_native_name = "";
-    prim_from_constructor = false;
-  }
-
-let make ~name ~alloc ~native_name ~arity =
-  {
-    prim_name = name;
-    prim_arity = arity;
-    prim_alloc = alloc;
-    prim_native_name = native_name;
-    prim_from_constructor = false;
-  }
-
 let parse_declaration valdecl ~arity ~from_constructor =
   let name, native_name =
     match valdecl.pval_prim with
@@ -73,8 +53,3 @@ let print p osig_val_decl =
     else [p.prim_name]
   in
   {osig_val_decl with oval_prims = prims; oval_attributes = []}
-
-let native_name p =
-  if p.prim_native_name <> "" then p.prim_native_name else p.prim_name
-
-let byte_name p = p.prim_name

compiler/ml/primitive.mli

@@ -15,8 +15,6 @@
 
 (* Description of primitive functions *)
 
-type boxed_integer = Pbigint | Pint32 | Pint64
-
 type description = private {
   prim_name: string; (* Name of primitive  or C function *)
   prim_arity: int; (* Number of arguments *)
@@ -28,11 +26,6 @@ type description = private {
 
 (* Invariant [List.length d.prim_native_repr_args = d.prim_arity] *)
 
-val simple : name:string -> arity:int -> alloc:bool -> description
-
-val make :
-  name:string -> alloc:bool -> native_name:string -> arity:int -> description
-
 val parse_declaration :
   Parsetree.value_description ->
   arity:int ->
@@ -41,7 +34,4 @@ val parse_declaration :
 
 val print : description -> Outcometree.out_val_decl -> Outcometree.out_val_decl
 
-val native_name : description -> string
-val byte_name : description -> string
-
 val coerce : (description -> description -> bool) ref