*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
