From ae25e66a7fe22d700de047fa8e6190384f44652e Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 1 Jul 2010 17:11:01 -0700
Subject: Extract pattern-slot variables in lval typecheck context (mutable
 ok).

---
 src/boot/me/type.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/boot')

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 76129e57..c35059fa 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1491,7 +1491,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
                     (List.rev (Array.to_list tag_ty_tup));
 
           | Ast.PAT_slot (sloti, _) ->
-              unify_slot strict_ctx sloti.node (Some sloti.id) expected
+              unify_slot lval_ctx sloti.node (Some sloti.id) expected
 
           | Ast.PAT_wild -> ()
     in
-- 
cgit v1.2.3