Optimising Compilers 2001/02 ---------------------------- Errata in printed notes. Pg 22: Control-flow analysis, 1st 'proper' paragraph: "You may verify that this solution is safe, but note that is imprecise because $7^{33} \in \alpha_{1}$. should read "You may verify that this solution is safe, but note that is imprecise because $(\lambda x^{20}.x^{21})^{22} \in \alpha_{1}$. [Thanks to Steve Bishop for this] p 25: Effect systems In the (COND) rule the type of the if statement on the bottom line should be just t and not t'. [Thanks to Jamie Shotton] Please let me know of any further errors you find. Alan Mycroft, Feb 2002.