I pushed to the head despite a problem with tc236(normal) failing. There are some testsuite patches I've been unable to pull owing to a bug in darcs. The error has to do with a parse error on forall, which is not where I've been making any messes :-) Norman