Re: How to do multiple instances of a generic packages in automated way. (using ravenscar profile)

[Daniel Norber <danielnorberto@gmail.com>]

> 
> It might assist us in isolating issues if you let the
> compiler check the reduced source text above, or we might
> incorrectly assume things, including that you might first
> want to seize the opportunity and get a firm grip of Ada. :-)
> 
> That being said, with profile Ravenscar active, is there
> a reason why you can't start from a protected type with
> a Size discriminant instead of a generic parameter? Is
> it to do with some version of RavenSPARK in the end?
> 
>     protected type Buffer (Size : Size_In_Characters) is
>        procedure Put (Msg : String);
>        entry Get (Msg : out String);
>     private
>        content : String (1 .. Size);
>     end Buffer;
> 
> Also note that every String parameter is still allowed to have
> an unspecified number of characters, whereas content has
> a maximum number of them, and also that Get has no way to inform
> its caller about the part of Msg actually filled.

I was trying your approach, but maybe there is something im missing because the GNAT ADA compiler says:
"discriminant part not allowed in protected body"