Pick out error in type due to delightfully clear logging.

This commit is contained in:
Graydon Hoare 2010-06-30 15:16:37 -07:00
parent 4cd49c0ab0
commit 77cf4a880c

View File

@ -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