On 10.01.2007 15:21, Erick Tryzelaar wrote: > Here's a patch to implement this as a built in. Would something like > this be interesting enough to add? It seems to work. Oh, and I added the > map-length function to Maps, since it seems to have been missing. I checked it in (with some slight modifications), thanks! Aleksey