> OK. But, GIMPLE is also supposed to be type-safe, so I wouldn't think > that "int = long" would be well-formed gimple. I thought that "type safe" meant *compatible* types ...