diff options
| author | Patrick Walton <[email protected]> | 2010-08-26 11:20:55 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-08-26 11:20:55 -0700 |
| commit | ff9ecc11287083c761d6ab58b4a2e81da232195b (patch) | |
| tree | 92207bac0faf4c741b4247016c479123a293a64b /src/boot | |
| parent | Typecheck function patterns (diff) | |
| download | rust-ff9ecc11287083c761d6ab58b4a2e81da232195b.tar.xz rust-ff9ecc11287083c761d6ab58b4a2e81da232195b.zip | |
Tiny style cleanup in a pattern match in type.ml
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index acbd30bc..215d146d 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -490,7 +490,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) = (maybe_mutable mut ty, n_boxes) in match infer, internal_check_lval infer lval with - | TYPAT_wild, LTYPE_mono ty -> yield_ty ty + TYPAT_wild, LTYPE_mono ty -> yield_ty ty | TYPAT_ty expected, LTYPE_mono actual -> demand expected actual; yield_ty actual |