Recursively genericize types and spread across glue. Saves 1mb size, 8s compile time on rustc.

2 files changed, 38 insertions, 16 deletions

diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index 019cd13e..3ce5eba2 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -1146,6 +1146,37 @@ let get_nth_tag_tup
 ;;
 
 
+let generic_obj_ty =
+  Ast.TY_obj (Ast.LAYER_value, Hashtbl.create 0)
+;;
+
+let generic_fn_ty =
+  Ast.TY_fn ({ Ast.sig_input_slots = [| |];
+               Ast.sig_input_constrs = [| |];
+               Ast.sig_output_slot =
+                 { Ast.slot_mode = Ast.MODE_local;
+                   Ast.slot_ty = Some Ast.TY_nil }; },
+             { Ast.fn_is_iter = false;
+               Ast.fn_effect = Ast.EFF_pure })
+;;
+
+let rec get_genericized_ty ty =
+  (* Using a full-and-honest fold here is too slow, sadly. *)
+  let sub = get_genericized_ty in
+    match ty with
+        Ast.TY_obj _ -> generic_obj_ty
+      | Ast.TY_fn _ -> generic_fn_ty
+      | Ast.TY_vec t -> Ast.TY_vec (sub t)
+      | Ast.TY_tup tys -> Ast.TY_tup (Array.map sub tys)
+      | Ast.TY_rec elts ->
+          Ast.TY_rec (Array.map (fun (id, t) -> (id, sub t)) elts)
+      | Ast.TY_box t ->
+          Ast.TY_box (sub t)
+      | Ast.TY_mutable t ->
+          Ast.TY_mutable (sub t)
+      | _ -> ty
+;;
+
 
 let associative_binary_op_ty_fold
     (default:'a)
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index ea270fbf..5d5cb75b 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -1926,22 +1926,7 @@ let trans_visitor
   and get_drop_glue
       (ty:Ast.ty)
       : fixup =
-
-    (* obj and fn glue delegates to the body, so is always 'generic'. *)
-    let ty =
-      match ty with
-          Ast.TY_obj _ -> Ast.TY_obj (Ast.LAYER_value, Hashtbl.create 0)
-        | Ast.TY_fn _ ->
-            Ast.TY_fn ({ Ast.sig_input_slots = [| |];
-                         Ast.sig_input_constrs = [| |];
-                         Ast.sig_output_slot =
-                           { Ast.slot_mode = Ast.MODE_local;
-                             Ast.slot_ty = Some Ast.TY_nil }; },
-                       { Ast.fn_is_iter = false;
-                         Ast.fn_effect = Ast.EFF_pure })
-        | _ -> ty
-    in
-
+    let ty = get_genericized_ty ty in
     let g = GLUE_drop ty in
     let inner _ (args:Il.cell) =
       let ty_params = deref (get_element_ptr args 0) in
@@ -1960,6 +1945,7 @@ let trans_visitor
       (ty:Ast.ty)
       (is_gc:bool)
       : fixup =
+    let ty = get_genericized_ty ty in
     let g = GLUE_free ty in
     let inner _ (args:Il.cell) =
       (* Free-glue assumes it's called with a pointer to a box allocation with
@@ -1978,6 +1964,7 @@ let trans_visitor
   and get_sever_glue
       (ty:Ast.ty)
       : fixup =
+    let ty = get_genericized_ty ty in
     let g = GLUE_sever ty in
     let inner _ (args:Il.cell) =
       let ty_params = deref (get_element_ptr args 0) in
@@ -1994,6 +1981,7 @@ let trans_visitor
   and get_mark_glue
       (ty:Ast.ty)
       : fixup =
+    let ty = get_genericized_ty ty in
     let g = GLUE_mark ty in
     let inner _ (args:Il.cell) =
       let ty_params = deref (get_element_ptr args 0) in
@@ -2010,6 +1998,7 @@ let trans_visitor
   and get_clone_glue
       (ty:Ast.ty)
       : fixup =
+    let ty = get_genericized_ty ty in
     let g = GLUE_clone ty in
     let inner (out_ptr:Il.cell) (args:Il.cell) =
       let dst = deref out_ptr in
@@ -2034,6 +2023,7 @@ let trans_visitor
   and get_copy_glue
       (ty:Ast.ty)
       : fixup =
+    let ty = get_genericized_ty ty in
     let arg_ty_params_alias = 0 in
     let arg_src_alias = 1 in
     let arg_initflag = 2 in
@@ -2068,6 +2058,7 @@ let trans_visitor
       get_typed_mem_glue g fty inner
 
   and get_cmp_glue ty =
+    let ty = get_genericized_ty ty in
     let arg_ty_params_alias = 0 in
     let arg_lhs_alias = 1 in
     let arg_rhs_alias = 2 in