I'm ok with those fixes; Bladley's wording looks simple and clear enough.

(Regarding delimiters in rank-0 arrays, the CL spec is why I felt it clarified in the srfi; we could make it compatible with CL in the '#0a' case only (though I don't feel it's not necessary) but in either way, it's nicer to be explicit.)

On Wed, Nov 14, 2018 at 2:45 PM Bradley Lucier <xxxxxx@math.purdue.edu> wrote:
On 11/14/18 5:28 PM, Per Bothner wrote:
> How about:
>
>      In an implementation where vector is a subtype of array (which is
> recommended), rank-1
>      arrays with zero lower bound should be printed as vectors, though
> an exception may be
>      made for a specified subset of non-simple vectors (such as shared
> vectors).

Perhaps

     In an implementation where vector is a subtype of array, rank-1
arrays with zero lower bound may be printed as vectors.

That seems to be more along the lines of what Shiro Kawai was saying.

I'll look more at it soon.

Brad