From: Andrew Shvets <andrew.shvets@gmail.com>
Subject: Re: How to best make a custom range?
Date: Tue, 5 Nov 2019 06:02:35 -0800 (PST)
Date: 2019-11-05T06:02:35-08:00 [thread overview]
Message-ID: <530a0f85-158a-4c42-b826-04ae4bd46451@googlegroups.com> (raw)
In-Reply-To: <27cb5366-4b3d-4f33-b8ec-2bc71c70780c@googlegroups.com>
This is what I have now.
subtype DNA_Chars is Character range ‘A’ .. ‘Z’;
subtype DNA_Symbols is Character with Static_Predicate => DNA_Symbols in ‘ ‘;
subtype DNA_Char is Character with Static_Predicate => DNA_Char in DNA_Chars | DNA_Symbols;
And this is the warning that I get (one of many, but I can’t copy and paste):
warning: in instantiation at a-nudira.adb:54
type “Result_Subtype” has predicates, attribute “First” not allowed
next prev parent reply other threads:[~2019-11-05 14:02 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 [this message]
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
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