Write an attribute grammar whose BNF basis is that of Example in Section but whose languag...

Write an attribute grammar whose BNF basis is that of Example in Section but whose language rules are as follows: Data types cannot be mixed in expressions, but assignment statements need not have the same types on both sides of the assignment operator.

EXAMPLE