Re: Weaken disjointness of range type?
Marc Nieper-Wißkirchen 07 Sep 2020 06:18 UTC
Am Mo., 7. Sept. 2020 um 03:09 Uhr schrieb John Cowan <xxxxxx@ccil.org>:
> No. But keeping ranges disjoint from any mutable type such as vectors ensures it.
I don't think keeping ranges disjoint from any (potentially) mutable
types really ensures it. A statement like "ranges are immutable"
wouldn't be affected if the types were disjoint or not disjoint, I
think.
> I have no intention of changing this.
Fair enough.