diff options
| author | Graydon Hoare <[email protected]> | 2010-06-30 21:16:13 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-30 21:16:13 -0700 |
| commit | e460da3889b58deca9beeccb485f61dcc37a8721 (patch) | |
| tree | e1fa1f624e4468183514a4ee1358dbb121364269 | |
| parent | De-duplicate code in get_resolved_ty, make recursive, add a case for tup. (diff) | |
| download | rust-e460da3889b58deca9beeccb485f61dcc37a8721.tar.xz rust-e460da3889b58deca9beeccb485f61dcc37a8721.zip | |
Auto-deref on lval-ext terms (x.y == x->y, if you like)
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 5e7d22ec..edd750f5 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 |