Re: An error in the SRFI document, and multi-indices are what (values ...) returns
Bradley Lucier 10 Feb 2026 02:44 UTC
On 2/9/26 21:13, Arthur A. Gleckler wrote:
>
> On Mon, Feb 9, 2026 at 6:10 PM Bradley Lucier <xxxxxx@purdue.edu
> <mailto:xxxxxx@purdue.edu>> wrote:
>
> Perhaps a simple, short fix is appropriate for the SRFI document.
>
>
> Would you characterize this as a true mistake, not just a broken
> design? It's a bit too mind-bending for me, so I want to be sure. If
> it's the former, we can issue an erratum.
The design is correct, it's just that the statement
===================
The vectors of upper and lower bounds of an interval can have zero
elements, in which case the zero-dimensional interval itself has no
elements ...
===================
is incorrect, the zero-dimensional interval has one element, namely
(values). That's why
> (import (srfi 231))
> (interval-volume (make-interval '#()))
1
Brad