18 Apr
2007
18 Apr
'07
7:06 a.m.
| What are the plans for the esc branch? | | Are the changing going to be merged? (For others, Rene is referring to "extended static checking" for Haskell; see http://www.cl.cam.ac.uk/~nx200/) Dana is working hard on it right now. Yes, I very much hope that it'll be merged back into the HEAD in due course; but the priority is (a) get it working right, (b) write her thesis; and only then (c) merge the branch back into the HEAD. Simon