Changes made since 3.01: CharLike and IntLike closures fixed (should reduce allocation slightly). Pattern binding desugaring improved to eliminate intermediate tuples in some cases. Fixed parsing problem: declaring a record with an infix constructor. When computing the Makefile dependencies, using either Working specialiser (ToDo: more here) Added Fixed compilation of real floating-point literals: they were previously generated as applications of The object splitter had a bug in it that increased binary sizes significantly on i386-unknown-linux and sparc-sun-solaris2. Now fixed.