From 8120a59097ce81e98fed6c670e5da03cc3b9c78f Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 30 Jun 2010 00:56:44 -0700 Subject: Init the exterior ty, not the inner ty. --- src/boot/me/trans.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index e33e3ed4..38088e94 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2818,7 +2818,7 @@ let trans_visitor | Ast.TY_constrained (ty, _) -> deref_ty initializing cell ty - | Ast.TY_exterior ty -> + | Ast.TY_exterior ty' -> check_exterior_rty cell; if initializing then init_exterior cell ty; @@ -2828,7 +2828,7 @@ let trans_visitor (Abi.exterior_rc_slot_field_body) in (* Init recursively so @@@@T chain works. *) - deref_ty initializing cell ty + deref_ty initializing cell ty' | _ -> (cell, ty) -- cgit v1.2.3