| HEAD is sadly currently broken for unrelated reasons which I am | working on resolving at the moment. I'll send a message to ghc-devs | when I've pushed my fix. Does that mean I should not pull for now? Which means I can't push either. Simon