diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 09:53:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 09:53:29 +0200 |
| commit | b0186f718a778b98e1c77a8279a10d79e2d83b8d (patch) | |
| tree | 3e21c7b70b04eee27ee374a0f5c03b3d7ce795b3 /gcc/ada/par-ch10.adb | |
| parent | 767bb4e896d51ddb4aa6b44663f52f8be9d0f052 (diff) | |
| download | gcc-b0186f718a778b98e1c77a8279a10d79e2d83b8d.zip gcc-b0186f718a778b98e1c77a8279a10d79e2d83b8d.tar.gz gcc-b0186f718a778b98e1c77a8279a10d79e2d83b8d.tar.bz2 | |
[multiple changes]
2011-08-02 Robert Dewar <dewar@adacore.com>
* exp_util.adb, par-ch10.adb, par-ch6.adb, sem.adb, sem_ch6.adb,
sem_ch6.ads, sinfo.adb, sinfo.ads, sprint.adb: Change parameterized
expression to expression function.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb: transform simple Ada2012 membership into equality only
if types are compatible.
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_res.adb (Matching_Static_Array_Bounds): new function which
returns True if its argument array types have same dimension and same
static bounds at each index.
(Resolve_Actuals): issue an error in formal mode on actuals passed as
OUT or IN OUT paramaters which are not view conversions in SPARK.
(Resolve_Arithmetic_Op): issue an error in formal mode on
multiplication or division with operands of fixed point types which are
not qualified or explicitly converted.
(Resolve_Comparison_Op): issue an error in formal mode on comparisons of
Boolean or array type (except String) operands.
(Resolve_Equality_Op): issue an error in formal mode on equality
operators for array types other than String with non-matching static
bounds.
(Resolve_Logical_Op): issue an error in formal mode on logical operators
for array types with non-matching static bounds. Factorize the code in
Matching_Static_Array_Bounds.
(Resolve_Qualified_Expression): issue an error in formal mode on
qualified expressions for array types with non-matching static bounds.
(Resolve_Type_Conversion): issue an error in formal mode on type
conversion for array types with non-matching static bounds
From-SVN: r177089
Diffstat (limited to 'gcc/ada/par-ch10.adb')
| -rw-r--r-- | gcc/ada/par-ch10.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/par-ch10.adb b/gcc/ada/par-ch10.adb index 6958209..08553dd 100644 --- a/gcc/ada/par-ch10.adb +++ b/gcc/ada/par-ch10.adb @@ -562,9 +562,9 @@ package body Ch10 is then Name_Node := Defining_Unit_Name (Unit_Node); - elsif Nkind (Unit_Node) = N_Parameterized_Expression then + elsif Nkind (Unit_Node) = N_Expression_Function then Error_Msg_SP - ("parameterized expression cannot be used as compilation unit"); + ("expression function cannot be used as compilation unit"); return Comp_Unit_Node; -- Anything else is a serious error, abandon scan |