diff options
Diffstat (limited to 'src')
| -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 |