Re: Eliminate numeric-range over inexact numbers?
Wolfgang Corcoran-Mathe 28 Aug 2020 03:33 UTC
On 2020-08-27 22:12 -0400, Wolfgang Corcoran-Mathe wrote:
> > If we do this, some of the considerations go away at least. Do we still
> > need a constraint on indexers to eliminate non-monotonic indexer functions,
> > or is that no longer necessary either?
>
> Yes, unfortunately. range-drop, etc. still need to do the right thing
> with ranges with non-monotonic indexers.
Sorry, that is, *indexers* must be expected to do the right thing when
range-drop, etc. return them in ranges with new lower bounds.
--
Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz>
