Dear Dominique, This will have to wait until after the 28th. For reasons that I cannot determine, I don't seem able to tunnel through to gnu central. Given the imminent arrival of guests for the holiday, I do not feel motivated to investigate further :-)
Happy holidays to one and all! Paul On 20 December 2015 at 13:39, Dominique d'Humières <domi...@lps.ens.fr> wrote: > Dear Paul, >> This is a rather trivial patch... going on 'obvious' in fact. However, >> I must confess to not being entirely sure why the problem is >> occurring. Deferred arrays are emanating from the finalizer that are >> being presented as ARRAY_TYPES rather than descriptors. What ever is >> the reason, the fix is both safe and does what is required. > The patch works as advertised. However the test should be either compile > only, or "dejagnufied". > > Cheers, > > Dominique > -- Outside of a dog, a book is a man's best friend. Inside of a dog it's too dark to read. Groucho Marx