On Fri, Oct 17, 2014 at 4:00 PM, Yoann Padioleau <pad@fb.com> wrote:
>
> 0:int - x   was not enough for those balancing(?) and promoting thing?
>
It's enough for type promotion, but you changed the semantics of the
program.