[multiple changes]
2015-03-24 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Rep_Item_Too_Early): allow pragma Convention on generic type. 2015-03-24 Gary Dismukes <dismukes@adacore.com> * inline.adb: Minor typo fix. From-SVN: r221629
This commit is contained in:
parent
a62638a348
commit
5f6061af2d
@ -1,3 +1,12 @@
|
||||
2015-03-24 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_ch13.adb (Rep_Item_Too_Early): allow pragma Convention
|
||||
on generic type.
|
||||
|
||||
2015-03-24 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* inline.adb: Minor typo fix.
|
||||
|
||||
2015-03-24 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* doc/gnat_ugn/building_executable_programs_with_gnat.rst,
|
||||
|
@ -1337,7 +1337,7 @@ package body Inline is
|
||||
is
|
||||
function Has_Formal_With_Discriminant_Dependent_Fields
|
||||
(Id : Entity_Id) return Boolean;
|
||||
-- Returns true if the subprogram has at least one formal parameters of
|
||||
-- Returns true if the subprogram has at least one formal parameter of
|
||||
-- an unconstrained record type with per-object constraints on component
|
||||
-- types.
|
||||
|
||||
|
@ -11738,6 +11738,8 @@ package body Sem_Ch13 is
|
||||
|
||||
elsif Is_Type (T)
|
||||
and then Is_Generic_Type (Root_Type (T))
|
||||
and then (Nkind (N) /= N_Pragma
|
||||
or else Get_Pragma_Id (N) /= Pragma_Convention)
|
||||
then
|
||||
Error_Msg_N ("representation item not allowed for generic type", N);
|
||||
return True;
|
||||
|
Loading…
Reference in New Issue
Block a user