From e460da3889b58deca9beeccb485f61dcc37a8721 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 30 Jun 2010 21:16:13 -0700
Subject: [PATCH] Auto-deref on lval-ext terms (x.y == x->y, if you like)

---
 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 5e7d22eca78..edd750f5eac 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1116,7 +1116,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
                     TYSPEC_exterior tv
               in
               let base_tv = ref base_ts in
-                unify_lval' ucx base base_tv;
+                unify_lval' { ucx with ext_ok = true } base base_tv;
                 match !(resolve_tyvar base_tv) with
                     TYSPEC_resolved (_, ty) ->
                       unify_ty ucx (project_type ty comp) tv