Auto-deref on lval-ext terms (x.y == x->y, if you like)

2010-06-30 21:16:13 -07:00 · 2010-06-30 21:16:13 -07:00 · e460da3889
parent 0b252a96b1
commit e460da3889
1 changed files with 1 additions and 1 deletions
--- 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