+2010-10-11 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Entry_Call): Generate 's' reference for entry
+ call.
+ * sem_ch6.adb: Diagnose additional error condition.
+
+2010-10-11 Bob Duff <duff@adacore.com>
+
+ * par.adb (Par): Clarify wording of certain error messages.
+
2010-10-11 Gary Dismukes <dismukes@adacore.com>
* sem_disp.adb (Check_Dispatching_Operation): Revise test for warning
begin
-- If parsing was successful and we are not in check syntax
- -- mode, check that language defined units are compiled in GNAT
+ -- mode, check that language-defined units are compiled in GNAT
-- mode. For this purpose we do NOT consider renamings in annex
-- J as predefined. That allows users to compile their own
-- versions of these files, and in particular, in the VMS
Name = "system"
then
Error_Msg
- ("language defined units may not be recompiled",
+ ("language-defined units cannot be recompiled",
Sloc (Unit (Comp_Unit_Node)));
elsif Name'Length > 4
Name (Name'First .. Name'First + 3) = "ada."
then
Error_Msg
- ("descendents of package Ada " &
- "may not be compiled",
+ ("user-defined descendents of package Ada " &
+ "are not allowed",
Sloc (Unit (Comp_Unit_Node)));
elsif Name'Length > 11
Name (Name'First .. Name'First + 10) = "interfaces."
then
Error_Msg
- ("descendents of package Interfaces " &
- "may not be compiled",
+ ("user-defined descendents of package Interfaces " &
+ "are not allowed",
Sloc (Unit (Comp_Unit_Node)));
elsif Name'Length > 7
"system.rpc.")
then
Error_Msg
- ("descendents of package System " &
- "may not be compiled",
+ ("user-defined descendents of package System " &
+ "are not allowed",
Sloc (Unit (Comp_Unit_Node)));
end if;
end;
null;
elsif In_Package_Body (Scope (Typ)) then
- null; -- warrants a warning ???
+ Error_Msg_NE
+ ("equality operator must be declared "
+ & "before type& is frozen", Eq_Op, Typ);
+ Error_Msg_N
+ ("\move declaration to package spec", Eq_Op);
else
Error_Msg_NE
end if;
Resolve_Actuals (N, Nam);
- Generate_Reference (Nam, Entry_Name);
+
+ -- Create a call reference to the entry
+
+ Generate_Reference (Nam, Entry_Name, 's');
if Ekind_In (Nam, E_Entry, E_Entry_Family) then
Check_Potentially_Blocking_Operation (N);