Extract pattern-slot variables in lval typecheck context (mutable ok).

2010-07-01 17:11:01 -07:00 · 2010-07-01 17:11:01 -07:00 · ae25e66a7f
commit ae25e66a7f
parent abfeefc662
1 changed files with 1 additions and 1 deletions
--- 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