Re: (Num_Types.Mod_4 range 1..8) ------->why not (1..8)?

[christoph.grein@eurocopter.com]

On May 19, 9:47 am, Petter <petter_frykl...@hotmail.com> wrote:
> For scalar types Checked_Conversion is a good idea:
>
> generic
>    type Source is (<>);
>    type Target is (<>);
>
> function Checked_Conversion (S : Source) return Target;
>
> with Ada.Unchecked_Conversion;
> function Checked_Conversion (S : Source) return Target is
>    function "+" is new Ada.Unchecked_Conversion (Source => Source,
>                                                  Target => Target);

Be careful, a lot can get wrong if the sizes of Source and Target are
different. The 'Valid attribute is not enough.