From 67aa39e1ef4358c309f4b07f1d587a0dad6dddf8 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Sun, 12 Sep 2010 01:05:56 -0700 Subject: Fix a leak when box types are used via type descriptors. --- src/boot/me/trans.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 693404ed..ad0d6445 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2562,8 +2562,8 @@ let trans_visitor and get_tydesc (idopt:node_id option) (ty:Ast.ty) : Il.cell = log cx "getting tydesc for %a" Ast.sprintf_ty ty; - let (ty, mut) = simplified_ty_innermost_was_mutable ty in - match ty with + let (ty', mut) = simplified_ty_innermost_was_mutable ty in + match ty' with Ast.TY_param (idx, _) -> (get_ty_param_in_current_frame idx) | t when has_parametric_types t -> -- cgit v1.2.3