Re: empty intervals John Cowan 29 Jul 2015 17:06 UTC

Per Bothner scripsit:
>   "So the getter of an Array with an empty interval as a domain would be
>   able to return no values at all.  So I don't understand constructions
>   that allow Arrays with empty Intervals as domains to return a single
>   value. Since I don't understand it, I don't allow it."
> "Empty intervals" can refer to two different things.

+1.  Empty intervals lead to arrays with zero elements; no intervals
at all generates an array (a scalar) of rank 0 with one element.

John Cowan
If I have seen farther than others, it is because I am surrounded by dwarves.
        --Murray Gell-Mann