Re: generics in Ada 83

[Jean-Pierre Rosen <rosen@adalog.fr>]

Hyman Rosen a �crit :
> Jean-Pierre Rosen wrote:
> 
>>The benefit is that if a generic compiles, and the instantiation
>>provides parameters that match the contract (of the generic formals),
>>then the instantion is *always* OK.
> 
> 
> How is that different from templates? If the template compiles,
> and the instantiation provides parameters such that all usage
> within the template is legal, then the instantiation is OK.
> Otherwise the program doesn't compile. Ada has explicit contracts
> and C++ does "contract by usage" but in either language, once the
> program compiles it is correct.
> 
In Ada, there is no need to check legality on the expansion of the 
generic. Correct me if I'm wrong, but my understanding of templates is 
that the legality is rechecked for each instantiation.

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr