---

yaml
---
r: 755
b: refs/heads/master
c: 81e791d
h: refs/heads/master
i:
  753: ce2e318
  751: 7e4213b
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 97a6b0935bad25833d2b48352a3f4212c26c9898
+refs/heads/master: 81e791d7b981bfb815d99832d657d48850e8e0aa

trunk/src/boot/me/resolve.ml

@@ -869,7 +869,9 @@ let process_crate
                     (Hashtbl.find cx.ctxt_all_item_names n)
             end
             cx.ctxt_node_referenced;
-      end
+      end;
+    (* Post-resolve, we can establish a tag cache. *)
+    cx.ctxt_tag_cache <- Some (Hashtbl.create 0);
 ;;
 
 (*

trunk/src/boot/me/semant.ml

@@ -194,6 +194,9 @@ type ctxt =
       ctxt_type_is_structured_cache: (Ast.ty,bool) Hashtbl.t;
       ctxt_type_contains_chan_cache: (Ast.ty,bool) Hashtbl.t;
       ctxt_n_used_type_parameters_cache: (Ast.ty,int) Hashtbl.t;
+      mutable ctxt_tag_cache:
+        ((Ast.ty_tag option * Ast.ty_tag * int,
+          Ast.ty_tup) Hashtbl.t) option;
     }
 ;;
 
@@ -290,6 +293,7 @@ let new_ctxt sess abi crate =
     ctxt_type_is_structured_cache = Hashtbl.create 0;
     ctxt_type_contains_chan_cache = Hashtbl.create 0;
     ctxt_n_used_type_parameters_cache = Hashtbl.create 0;
+    ctxt_tag_cache = None;
   }
 ;;
 
@@ -797,13 +801,18 @@ let get_nth_tag_tup_full
     (ttag:Ast.ty_tag)
     (i:int)
     : Ast.ty_tup =
-  let tinfo = Hashtbl.find cx.ctxt_all_tag_info ttag.Ast.tag_id in
-  let (_, node_id, ttup) = Hashtbl.find tinfo.tag_nums i in
-  let ctor = get_item cx node_id in
-  let params = Array.map (fun p -> p.node) ctor.Ast.decl_params in
-    Array.map
-      (fun ty -> rebuilder src_tag ty params ttag.Ast.tag_args)
-      ttup
+  let calculate _ =
+    let tinfo = Hashtbl.find cx.ctxt_all_tag_info ttag.Ast.tag_id in
+    let (_, node_id, ttup) = Hashtbl.find tinfo.tag_nums i in
+    let ctor = get_item cx node_id in
+    let params = Array.map (fun p -> p.node) ctor.Ast.decl_params in
+      Array.map
+        (fun ty -> rebuilder src_tag ty params ttag.Ast.tag_args)
+        ttup
+  in
+    match cx.ctxt_tag_cache with
+        None -> calculate()
+      | Some cache -> htab_search_or_add cache (src_tag,ttag,i) calculate
 ;;
 
 let rec fold_ty_full