On Monday 02 Apr 2012 17:28:58 Tim Northover wrote: > I've attached an updated patch with your feedback (and some specific array > tests I was fiddling with, just in case). > > Could you commit it if it's OK? Ping. Tim.