I need help with a compiler assignment that deals with Abstract syntax and type checking.
It’s from Appel 2nd edition ofModern Compiler Implementation in Java,Chapter 4: Abstract Syntax and Chapter 5: Type-Checking