Re: [RFC/RFA] print arrays with indexes

Jim Blandy
2005-09-09T19:14:11Z

Joel Brobecker <brobecker@adacore.com> writes:
> How about we enhance a bit the approach, and have:
>
> set print array-indexes on/off/auto
>
> If set to auto, then we use the threshold?

How about:

set print array-indexes on/off/THRESHOLD-N