diff options
| -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 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) |