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)
|
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_