diff options
| author | Graydon Hoare <[email protected]> | 2010-11-10 17:46:49 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-11-10 17:46:49 -0800 |
| commit | d1e7f0b4146aaaf3aa54902de9eb2ac44ad01160 (patch) | |
| tree | abf363aa278a546ab3065c228cb068c270aec4c1 /src/boot | |
| parent | Teach rustc about const tag value, begin work on trans_copy_ty, make uint's t... (diff) | |
| download | rust-d1e7f0b4146aaaf3aa54902de9eb2ac44ad01160.tar.xz rust-d1e7f0b4146aaaf3aa54902de9eb2ac44ad01160.zip | |
Redo the scheme for block context chaining and termination, to simplify and support ret better.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/semant.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index c22e788b..4f02455a 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1286,7 +1286,8 @@ let is_prim_type (t:Ast.ty) : bool = | Ast.TY_uint | Ast.TY_char | Ast.TY_mach _ - | Ast.TY_bool -> true + | Ast.TY_bool + | Ast.TY_native _ -> true | _ -> false ;; |