From 7e733bf2ee0c23be5a49fd81a419d3e69c38be27 Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Wed, 29 Sep 2010 16:58:42 -0700 Subject: [PATCH] Allow tag recursion through vectors as well as boxes --- src/boot/me/type.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 3e6c23525ef..badd6b67d27 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1012,7 +1012,7 @@ let populate_tag_graph_node (cx:Semant.ctxt) (id:Common.opaque_id) (n:int) = | Ast.TY_rec ty_rec -> Array.iter (fun (_, ty) -> add_ty ty) ty_rec | Ast.TY_fn ty_fn -> add_ty_fn ty_fn - | Ast.TY_vec ty | Ast.TY_chan ty | Ast.TY_port ty | Ast.TY_mutable ty + | Ast.TY_chan ty | Ast.TY_port ty | Ast.TY_mutable ty | Ast.TY_constrained (ty, _) -> add_ty ty | Ast.TY_obj (_, ty_fns) -> Hashtbl.iter (fun _ ty_fn -> add_ty_fn ty_fn) ty_fns