From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: How to best make a custom range?
Date: Mon, 4 Nov 2019 19:55:40 +0100
Date: 2019-11-04T19:55:40+01:00 [thread overview]
Message-ID: <qpps7a$tg6$1@gioia.aioe.org> (raw)
In-Reply-To: a1384d94-139e-498e-a4b3-276f2414d654@googlegroups.com
On 2019-11-04 19:49, Andrew Shvets wrote:
> Mostly to have a set of values that I can select at random.
That is not subtype, which is the point. If it were made a "subtype" as
was suggested per misuse of dynamic predicate, then that would break
most of the code by polluting it with Constraint_Error raised in most
unexpected places. Which is the reason why it should not be a subtype,
because it is not (see LSP).
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2019-11-04 18:55 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-04 17:26 How to best make a custom range? Andrew Shvets
2019-11-04 17:56 ` Shark8
2019-11-04 18:49 ` Andrew Shvets
2019-11-04 19:16 ` Shark8
2019-11-05 14:02 ` Andrew Shvets
2019-11-05 15:10 ` Shark8
2019-11-08 15:55 ` AdaMagica
2019-11-08 16:07 ` AdaMagica
2019-11-08 22:28 ` Randy Brukardt
2019-11-05 17:14 ` Dmitry A. Kazakov
2019-11-05 17:28 ` Shark8
2019-11-04 18:34 ` Dmitry A. Kazakov
2019-11-04 18:49 ` Andrew Shvets
2019-11-04 18:55 ` Dmitry A. Kazakov [this message]
2019-11-04 19:13 ` Shark8
2019-11-04 21:41 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox