From: Shark8 <onewingedshark@gmail.com>
Subject: Re: How to best make a custom range?
Date: Mon, 4 Nov 2019 11:13:09 -0800 (PST)
Date: 2019-11-04T11:13:09-08:00 [thread overview]
Message-ID: <72cf1559-a51f-4a7d-a79e-fe349f833883@googlegroups.com> (raw)
In-Reply-To: <qpps7a$tg6$1@gioia.aioe.org>
On Monday, November 4, 2019 at 11:55:42 AM UTC-7, Dmitry A. Kazakov wrote:
> 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,
It's not Dynamic_Predicate, it's Static_Predicate.
> then that would break
> most of the code by polluting it with Constraint_Error raised in most
> unexpected places.
Constraint_Error is the normal/expected exception, perhaps you are thinking Assertion_Error?
> Which is the reason why it should not be a subtype,
> because it is not (see LSP).
Everywhere that Character is requested, a Test_Character is valid -- Just like everywhere Integer is requested, Natural is valid.
next prev parent reply other threads:[~2019-11-04 19:13 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
2019-11-04 19:13 ` Shark8 [this message]
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