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
+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,
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.
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;