diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2010-06-30 15:16:37 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2010-06-30 15:16:37 -0700 |
| commit | 77cf4a880cf99011981ebfc80d9ef7367845f21b (patch) | |
| tree | 947d84363ca4d0d701c5ced928d71b4c31c5022c /src/boot | |
| parent | 4cd49c0ab01f67a896f3f24d591e1288364bd4a8 (diff) | |
Pick out error in type due to delightfully clear logging.
Diffstat (limited to 'src/boot')
| -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 6a3ca920cdd..97dc2c15ac4 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -438,7 +438,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | (TYSPEC_collection tv, TYSPEC_resolved (params, ty)) -> let rec unify ty = match ty with - Ast.TY_vec ty -> unify_ty auto_deref ty tv; ty + Ast.TY_vec ty' -> unify_ty auto_deref ty' tv; ty | Ast.TY_str -> unify_ty auto_deref (Ast.TY_mach TY_u8) tv; ty | Ast.TY_exterior ty |