-
Simon Peyton Jones authored
I had incorrectly "optimised" checkHiBootIface so that it forgot to update the "knot-tied" type environment. This patch fixes the HEAD
f1934472
I had incorrectly "optimised" checkHiBootIface so that it forgot to update the "knot-tied" type environment. This patch fixes the HEAD