comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Problem with Position of the enumeration Type
Date: Thu, 24 Jan 2019 15:41:03 -0600
Date: 2019-01-24T15:41:03-06:00	[thread overview]
Message-ID: <q2dbdg$7lc$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: lnimyf0wee.fsf@kst-u.example.com

"Keith Thompson" <kst-u@mib.org> wrote in message 
news:lnimyf0wee.fsf@kst-u.example.com...
> "Randy Brukardt" <randy@rrsoftware.com> writes:
...
> Both types will have the same representation for the min and max values.
> How can you *portably* determine the appropriate target type for an
> Unchecked_Conversion that yields the correct values?
>
> (You can do it manually on a case by case basis.)

But that's impossible in a generic unit. Which was the main reason for 
finally deciding to include these attributes.

                  Randy.


  parent reply	other threads:[~2019-01-24 21:41 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-01-23 10:05 Problem with Position of the enumeration Type Luis Ladron de Guevara Moreno
2019-01-23 10:33 ` AdaMagica
2019-01-23 10:55   ` AdaMagica
2019-01-23 12:08   ` Luis Ladron de Guevara Moreno
2019-01-23 12:15     ` Karl Müller
2019-01-23 21:50     ` Niklas Holsti
2019-01-24  8:06     ` AdaMagica
2019-01-23 11:32 ` Mark Lorenzen
2019-01-23 12:30   ` Luis Ladron de Guevara Moreno
2019-01-23 20:22     ` Shark8
2019-01-24  8:13       ` AdaMagica
2019-01-23 17:06 ` Simon Wright
2019-01-23 22:54   ` Randy Brukardt
2019-01-23 23:47     ` Keith Thompson
2019-01-24  4:34       ` Keith Thompson
2019-01-24  9:11         ` Simon Wright
2019-01-24 21:41       ` Randy Brukardt [this message]
2019-01-23 21:42 ` Niklas Holsti
2019-01-23 22:35   ` Simon Wright
2019-01-23 23:20     ` Niklas Holsti
2019-01-24 16:43     ` Jeffrey R. Carter
2019-01-24 19:39       ` Niklas Holsti
2019-01-24 20:29         ` Jeffrey R. Carter
2019-01-24 21:43         ` Randy Brukardt
2019-01-26  9:44   ` G.B.
replies disabled

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