diff options
| author | Graydon Hoare <[email protected]> | 2010-06-30 01:45:36 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-30 01:45:36 -0700 |
| commit | e828b2a94decc8ba7be531aa32e0fefbfc468909 (patch) | |
| tree | aef6c98e44cd945f63db3339855ecf01eb58e06f /src/boot | |
| parent | Improve error message. (diff) | |
| download | rust-e828b2a94decc8ba7be531aa32e0fefbfc468909.tar.xz rust-e828b2a94decc8ba7be531aa32e0fefbfc468909.zip | |
Tidy up (I think) a couple typos from patrick's last commit.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 660066ad..0c39ab80 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -481,8 +481,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = in Array.iteri check_elem tvs; ty - | Ast.TY_exterior ty -> Ast.TY_exterior ty - | Ast.TY_mutable ty -> Ast.TY_mutable ty + | Ast.TY_exterior ty -> Ast.TY_exterior (unify ty) + | Ast.TY_mutable ty -> Ast.TY_mutable (unify ty) | _ -> fail () in TYSPEC_resolved (params, unify ty) @@ -491,9 +491,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | (TYSPEC_vector tv, TYSPEC_resolved (params, ty)) -> let rec unify ty = match ty with - Ast.TY_vec ty -> unify_ty ty tv; ty - | Ast.TY_exterior ty -> Ast.TY_exterior ty - | Ast.TY_mutable ty -> Ast.TY_mutable ty + Ast.TY_vec ty' -> unify_ty ty' tv; ty + | Ast.TY_exterior ty -> Ast.TY_exterior (unify ty) + | Ast.TY_mutable ty -> Ast.TY_mutable (unify ty) | _ -> fail () in TYSPEC_resolved (params, unify ty) |