Hi On 26 Dec, 2007, at 12:08, Matthew Flatt wrote: > > The expanded form above doesn't match, so I wonder whether that > particular file isn't up to date on your machine. > > Matthew > Yes, I screwed up. I only updates plt/src, I didn't update plt/ collects. I't now compiling happily. Thanks - Filipe Cabecinhas