Question

[13 points] take the grammar below and annotate it with a type property (either int or double) that describes the datatype of any generated expression. assume the terminals id and const have a type property. use the usual kind of coercion rule: operating on two int values yields an int; if either side of an operation is a double then the whole expression is of type double. (hint: you'll need a third type to for empty expression tails.)

Answer 1

question not clearly mentioned.