diff options
| author | Roy Frostig <[email protected]> | 2010-06-28 15:27:05 -0700 |
|---|---|---|
| committer | Roy Frostig <[email protected]> | 2010-06-28 15:27:05 -0700 |
| commit | 66d313d36514f67fb0d8444137faa9692346508f (patch) | |
| tree | 0d7da214c1cea1f2aef8a9e54cb64cc8f9089ee4 /src/boot | |
| parent | Some fixme-to-issue housekeeping. (diff) | |
| download | rust-66d313d36514f67fb0d8444137faa9692346508f.tar.xz rust-66d313d36514f67fb0d8444137faa9692346508f.zip | |
Teach the typechecker that uints are integral types. Closes #88.
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 4e0e6ea9..346c6e39 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -302,7 +302,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = let integral (ty:Ast.ty) : bool = match ty with - Ast.TY_int | Ast.TY_mach TY_u8 | Ast.TY_mach TY_u16 + Ast.TY_int | Ast.TY_uint | Ast.TY_mach TY_u8 | Ast.TY_mach TY_u16 | Ast.TY_mach TY_u32 | Ast.TY_mach TY_u64 | Ast.TY_mach TY_i8 | Ast.TY_mach TY_i16 | Ast.TY_mach TY_i32 | Ast.TY_mach TY_i64 -> |