I've revised and committed Sebastian's patches. I've also committed some of my own. There are 8 patches in total so rather than post them all to the list I'll provide a link: https://github.com/Mercury-Language/mercury/compare/29eeb36628...7b2ad92c39 -- Paul Bone