comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Musing on defining attributes and the ability to define an "abstract type X"-interface.
Date: Fri, 04 Aug 2017 07:48:33 +0100
Date: 2017-08-04T07:48:33+01:00	[thread overview]
Message-ID: <lyzibfq14u.fsf@pushface.org> (raw)
In-Reply-To: ae46a44e-ee1e-42f6-ae8d-a02ae012e31d@googlegroups.com

Shark8 <onewingedshark@gmail.com> writes:

> To illustrate, a proper and strict ASCII string would be:
>     Type ASCII_Character is Character range Character'First..Character'Pred( Character'Pos(128) );
>     Type ASCII_String is Array(Positive Range <>) of ASCII_Character

OK so far

>      with Component_Size => 7, Packed;

AAARGH


  reply	other threads:[~2017-08-04  6:48 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-20  0:06 Musing on defining attributes and the ability to define an "abstract type X"-interface Shark8
2017-07-20  7:52 ` Dmitry A. Kazakov
2017-07-20 16:37   ` Shark8
2017-07-20 17:40     ` Dmitry A. Kazakov
2017-07-20 20:12     ` Jacob Sparre Andersen
2017-08-04  3:05       ` Shark8
2017-08-04  6:48         ` Simon Wright [this message]
2017-08-04  7:10         ` Dmitry A. Kazakov
2017-08-05  0:17         ` Randy Brukardt
2017-08-05  6:25           ` Dmitry A. Kazakov
2017-08-05 16:51           ` Shark8
2017-08-05 17:18             ` Dmitry A. Kazakov
2017-08-05 21:29               ` Shark8
2017-08-06  7:04                 ` Dmitry A. Kazakov
2017-08-07 23:06                 ` Randy Brukardt
2017-08-08 17:28                   ` Shark8
2017-08-09  1:12                     ` Randy Brukardt
2017-08-09 18:17                     ` G.B.
2017-08-07 23:12             ` Randy Brukardt
2017-08-08  8:10               ` Dmitry A. Kazakov
2017-08-09  0:44                 ` Randy Brukardt
2017-08-09  6:55                   ` Dmitry A. Kazakov
2017-08-09 23:22                     ` Randy Brukardt
2017-08-10  7:02                       ` Dmitry A. Kazakov
2017-08-11  0:40                         ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox