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

Add support for casting native types.

Browse source
This commit is contained in:
Graydon Hoare 2010-08-18 00:18:46 -07:00
parent a4b8c74f9f
commit 9277f551d3
2 changed files with 10 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/boot/me/semant.ml
View file

@ -1012,7 +1012,8 @@ let type_is_unsigned_2s_complement t =
| Ast.TY_mach TY_u64
| Ast.TY_char
| Ast.TY_uint
| Ast.TY_bool -> true
| Ast.TY_bool
| Ast.TY_native _ -> true
| _ -> false
;;

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

@ -101,11 +101,11 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
if not (is_integer (fundamental_ty actual)) then
type_error "integer" actual
in
let demand_bool_or_char_or_integer (actual:Ast.ty) : unit =
let demand_bool_or_char_or_integer_or_native (actual:Ast.ty) : unit =
match fundamental_ty actual with
Ast.TY_bool | Ast.TY_char -> ()
Ast.TY_bool | Ast.TY_char | Ast.TY_native _ -> ()
| ty when is_integer ty -> ()
| _ -> type_error "bool, char, or integer" actual
| _ -> type_error "bool, char, integer or native" actual
in
let demand_number (actual:Ast.ty) : unit =
match fundamental_ty actual with
@ -634,9 +634,11 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
ty
| Ast.EXPR_unary (Ast.UNOP_cast dst_ty_id, atom) ->
(* TODO: probably we want to handle more cases here *)
demand_bool_or_char_or_integer (check_atom atom);
let dst_ty = dst_ty_id.Common.node in
demand_bool_or_char_or_integer dst_ty;
demand_bool_or_char_or_integer_or_native (check_atom atom);
let dst_ty =
Hashtbl.find cx.Semant.ctxt_all_cast_types dst_ty_id.Common.id
in
demand_bool_or_char_or_integer_or_native dst_ty;
dst_ty
in