From e828b2a94decc8ba7be531aa32e0fefbfc468909 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 30 Jun 2010 01:45:36 -0700 Subject: [PATCH] Tidy up (I think) a couple typos from patrick's last commit. --- src/boot/me/type.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 660066ad001..0c39ab8044a 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)