Merge in maybe type checking branch
commitedd80f56a1e2e56419a05bbe30d2d831e988bbe7
authorThomas Leonard <talex5@gmail.com>
Fri, 19 Sep 2008 10:23:35 +0000 (19 11:23 +0100)
committerThomas Leonard <talex5@gmail.com>
Fri, 19 Sep 2008 10:24:33 +0000 (19 11:24 +0100)
treef4231441e90774743a38a64e2bd85139c740bb9a
parentd856e0a8d1a549b722f71fa25600687ff40d5e46
parentcfcb3d2c6061ac591eb7e69bf804a2f01b6d876a
Merge in maybe type checking branch