Re: Discriminated types with default discriminants

[Brian May <bam@snoopy.apana.org.au>]

>>>>> "Maciej" == Maciej Sobczak <no.spam@no.spam.com> writes:

Hello,

The 2nd warning has already been explained in detail, however I am
still confused with the first warning:

    Maciej> Compiler (GNAT) gives me two warnings:

    Maciej> 5.          Value : String (1..Size);
    Maciej> |
    >>>> warning: creation of object of this type may raise
    Maciej> Storage_Error

Why does this warning go away when using an unbounded subtype? Doesn't
the issue still exist?

    Maciej> I can get rid of the first warning with this:

    Maciej> subtype MyInt is Integer;
    Maciej> type Discriminated(Size : MyInt := 10) is
    Maciej> -- ...

Thanks
-- 
Brian May <bam@snoopy.apana.org.au>