*ping* On 20 May 2012 10:34, Tobias Burnus wrote:
*ping*On Tue, 15 May 2012 12:26, Tobias Burnus wrote:A rather simple patch. Build and regtested on x86-64-linux. OK for the trunk?I think that is the last patch required for commonly used code. Remaining are issues with array constructors and concatenations - and, of course, deferred-length components.Tobias