diff options
| author | Graydon Hoare <[email protected]> | 2011-03-16 14:58:02 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-03-16 14:58:02 -0700 |
| commit | 54587bdccb7b6771cfc704a30fc0ef2c65824a15 (patch) | |
| tree | 6f154f9b038e9542b364e87ae887858a96bdb4a9 /src/boot/me | |
| parent | Add some more dlopen-related suppressions for the Mac (diff) | |
| download | rust-54587bdccb7b6771cfc704a30fc0ef2c65824a15.tar.xz rust-54587bdccb7b6771cfc704a30fc0ef2c65824a15.zip | |
Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tweak std lib vec fns in process.
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/type.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 87e8e4c1..72bdd404 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -993,8 +993,7 @@ let check_block (cx:Semant.ctxt) : (fn_ctx -> Ast.block -> unit) = let src_ty = check_atom ~deref:true src in let dst_ty = check_lval dst in match fundamental_ty dst_ty, fundamental_ty src_ty with - Ast.TY_vec elt1, Ast.TY_vec elt2 - | Ast.TY_vec elt1, elt2 -> + Ast.TY_vec elt1, Ast.TY_vec elt2 -> if elt1 = elt2 then () else @@ -1002,7 +1001,6 @@ let check_block (cx:Semant.ctxt) : (fn_ctx -> Ast.block -> unit) = "mismatched types in vec-append: %s += %s" (pretty_ty_str dst_ty) (pretty_ty_str src_ty) - | Ast.TY_str, (Ast.TY_mach Common.TY_u8) | Ast.TY_str, Ast.TY_str -> () | _ -> infer_lval src_ty dst; |