squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Teach the typechecker that uints are integral types. Closes #88.

Browse source
This commit is contained in:
Roy Frostig 2010-06-28 15:27:05 -07:00
parent d608c09168
commit 66d313d365
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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