[bug-mes] MesCC assigns incorrect types to arithmetic expressions

[Mark H Weaver]

Currently, if I understand the code correctly, MesCC simply assigns the
type of the first operand as the type of most (all?) binary expressions.
For example, the type of (a + b) is the type of a, with no regard to b.
Ditto for the relational operators.  In particular, I'm looking at
'ast->type' in compile.scm.

>From an admittedly quick search, I didn't see anything about the usual
arithmetic conversions, or the integer promotions.  Did I miss them?

       Mark