Weaken disjointness of range type? Marc Nieper-Wißkirchen (01 Sep 2020 11:25 UTC)
Re: Weaken disjointness of range type? John Cowan (01 Sep 2020 18:19 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (01 Sep 2020 19:45 UTC)
Re: Weaken disjointness of range type? Wolfgang Corcoran-Mathe (04 Sep 2020 23:15 UTC)
Re: Weaken disjointness of range type? John Cowan (05 Sep 2020 03:03 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (05 Sep 2020 10:15 UTC)
Re: Weaken disjointness of range type? Wolfgang Corcoran-Mathe (05 Sep 2020 19:27 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (06 Sep 2020 07:25 UTC)
Re: Weaken disjointness of range type? John Cowan (05 Sep 2020 23:35 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (06 Sep 2020 07:36 UTC)
Re: Weaken disjointness of range type? John Cowan (07 Sep 2020 01:09 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (07 Sep 2020 06:18 UTC)
Re: Weaken disjointness of range type? John Cowan (08 Sep 2020 15:40 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (08 Sep 2020 15:58 UTC)
Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen (05 Sep 2020 09:49 UTC)

Re: Weaken disjointness of range type? Wolfgang Corcoran-Mathe 05 Sep 2020 19:27 UTC

On 2020-09-05 12:15 +0200, Marc Nieper-Wißkirchen wrote:
> Exactly the same procedures that make sense for vector literals make sense
> for ranges.

OK, I think I understand now.  So you'd like the specification to
state something like "the range type may not be disjoint from the type
of Scheme vectors, but it is an error to mutate a range"?  Or are there
other specific changes?

Is John willing to consider making such a change to the spec of the
range type?  Since he's the mufti of this SRFI, if the answer is no,
we should table the discussion in this context, at least.

During these discussions it can be hard to keep track of what
concrete changes are being proposed.  I think we'll be able to resolve
this quickly if we can stick to what we want to do with the current
SRFI.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"More shall come after us than have gone before; the world
is not yet middle-aged." --Herman Melville, _White-Jacket_