Enhancements to allocatable arrays

[hkvzjal]

@PierU

and I don’t think the above proposal bloats it

I’d say this is true, as long as the effort is kept on not needing this

@PierU

with a specific attribute:
real, resizable :: a(:)

It would make the whole proposal difficult to adopt for already running large code-bases.

You are already elucidating quite well how to make Option 1 workable and robust

@PierU

• resize=.true. could be omitted is either capacity or cap are specified (or, resize could not be needed at all, and cap or capacity would trigger the resizable behavior).
• instead of resize=.true. one may have a more general specifier mode=[''|'realloc'|'resize'], which would replace also the realloc=.true. specifier described above

The second line looks like a very good design and as you mention in the previous line, it would make the resize option unnecessary. The rest of the mechanism can be worked out from the options.