diff options
| author | Graydon Hoare <[email protected]> | 2010-06-30 19:30:12 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-30 19:30:12 -0700 |
| commit | cab674447f8fa7d4086bd55a3a72f2c066f92314 (patch) | |
| tree | 7ced8f81a8da63b29537e5f9e8e28a2e81f1d6a5 /src/boot/me | |
| parent | Fix another type bug I introduced yesterday; found through wondrous logging t... (diff) | |
| download | rust-cab674447f8fa7d4086bd55a3a72f2c066f92314.tar.xz rust-cab674447f8fa7d4086bd55a3a72f2c066f92314.zip | |
Make type-cast decisions based on simplified types.
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/trans.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 9e0dfdf3..9be58826 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1903,6 +1903,7 @@ let trans_visitor | Ast.UNOP_cast t -> let t = Hashtbl.find cx.ctxt_all_cast_types t.id in let at = atom_type cx a in + let (t, at) = (simplified_ty t, simplified_ty at) in if (type_is_2s_complement at) && (type_is_2s_complement t) then |