mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tidy up (I think) a couple typos from patrick's last commit.

Browse source
This commit is contained in:
Graydon Hoare 2010-06-30 01:45:36 -07:00
parent df0eebcf1e
commit e828b2a94d
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/boot/me/type.ml
View file

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