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.