• Run compiler with: java Semant.Main <program> • Examine Semant/Env.java – Notice the 2 tables for the 2 environments • Examine, then compile tests/1.tig – Find the code that is reporting the error – work out what it’s doing – Make the two types have different names • Does that fix it? – What does this tell you about type and variable names?