2007-04-20 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
* sem_ch12.adb (Analyze_Associations): Diagnose use of an others
association in an instance.
(Copy_Generic_Node): If the node is a string literal, no need to copy
its descendants.
(Is_Generic_Formal): For a formal subprogram, the declaration is the
grandparent of the entity.
(Analyze_Formal_Interface_Type): Transform into a full type declaration,
to simplify handling of formal interfaces that derive from other formal
interfaces.
(Instantiate_Subprogram_Body): The defining unit name of the body of
the instance should be a defining identifier.
(Install_Formal_Packages): make global to the package, for use in
instantiations of child units.
(Analyze_Package_Instantiation): Do not attempt to set information on an
enclosing master of an entry when expansion is disabled.
(Instantiate_Type): If the actual is a tagged synchronized type and the
generic ancestor is an interface, create a generic actual for the
corresponding record.
(Analyze_Formal_Derived_Interface_Type): Rewrite as a derived type
declaration, to ensure that the interface list is processed correctly.
(Inline_Instance_Body): If enclosing scope is an instance body, remove
its entities from visibiility as well.
(Pre_Analyze_Actuals): if the actual is an allocator with constraints
given with a named association, analyze the expression only, not the
discriminant association itself.
(Reset_Entity): If the analysis of a selected component is transformed
into an expanded name in the prefix of a call with parameters, do not
transform the original node into an expanded name, to prevent visibility
errors in the case of nested generics.
(Check_Private_View): For an array type, check whether the index types
may need exchanging.
From-SVN: r125431
