aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-06-30 15:16:37 -0700
committerGraydon Hoare <[email protected]>2010-06-30 15:16:37 -0700
commit77cf4a880cf99011981ebfc80d9ef7367845f21b (patch)
tree947d84363ca4d0d701c5ced928d71b4c31c5022c /src/boot/me
parentImprove logging in type.ml, give it indentation and per-statement context. (diff)
downloadrust-77cf4a880cf99011981ebfc80d9ef7367845f21b.tar.xz
rust-77cf4a880cf99011981ebfc80d9ef7367845f21b.zip
Pick out error in type due to delightfully clear logging.
Diffstat (limited to 'src/boot/me')
-rw-r--r--src/boot/me/type.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 6a3ca920..97dc2c15 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