Re: how to force the Small aspect of a new type derived from the generic formal type ?

["Randy Brukardt" <randy@rrsoftware.com>]

"Mehdi Saada" <00120260a@gmail.com> wrote in message 
news:1aaa851e-495a-4dd4-8db7-0fd84ee8225f@googlegroups.com...
> Yet again... Look at this ! The teacher said: use Small 
> aspect/representation clause, and somewhere else he said to make the 
> package generic. I did both...
>
> generic
>   type Modele is delta <> ;
> package Proba is
>   type T_proba is new MODELE range 0.1..1.0 with Small => Modele'Delta;
>
> gives us: representation item not allowed for generic type

That's just what the error message says; you can't use most representation 
aspects on a type derived from a generic formal type.

Even if you were not in a generic unit, you can't usually put representation 
aspects on a derived type (they usually have to match the original type). 
The representation aspects have to go on the original type (the one passed 
into the generic unit).

...
> How do I do that ? Forcing the representation of a new type derived from 
> the generic formal type ?

You can't do that; the derived type has to have the same representation as 
the formal type.

Either the teacher is asking for the impossible (which, unfortunately IS 
possible), or you misunderstood the request.

                          Randy.