On 4/24/07, Simon Peyton-Jones <simonpj at microsoft.com> wrote: > Tim > > OK, I committed my small patch to ticky. Over to you! > Are you sure you checked in the patch? I don't see any changes to CgTicky since April 4. Cheers, Tim -- Tim Chevalier * chevalier at alum.wellesley.edu * Often in error, never in doubt Confused? See http://catamorphism.org/transition.html