diff options
author | Yannick Moy <moy@adacore.com> | 2011-08-01 16:02:10 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-01 18:02:10 +0200 |
commit | 53beff22220d9c1dd48c022f81e61e74a3084c34 (patch) | |
tree | 9504cb26aef222dd3a0b5ec060685188ffca9ba9 /gcc/ada/par-ch4.adb | |
parent | 8d606a78a331b91295e7ce1e27bf12e419084093 (diff) | |
download | gcc-53beff22220d9c1dd48c022f81e61e74a3084c34.zip gcc-53beff22220d9c1dd48c022f81e61e74a3084c34.tar.gz gcc-53beff22220d9c1dd48c022f81e61e74a3084c34.tar.bz2 |
err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~
2011-08-01 Yannick Moy <moy@adacore.com>
* err_vars.ads (Error_Msg_Lang, Error_Msg_Langlen): new variables for
insertion character ~~
* errout.ads, errout.adb (Formal_Error_Msg_...): remove procedures
(Set_Error_Msg_Lang): new procedure which fixes the language for use
with insertion character ~~
(Set_Msg_Text): treat insertion character ~~
* par-ch4.adb, par-ch5.adb, par-endh.adb, sem_attr.adb, sem_ch11.adb,
sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_util.adb: Replace calls to
Formal_Error_Msg_... procedures by equivalent Error_Msg_...
procedures. Favor calls to Error_Msg_F(E) over Error_Msg_N(E). Make
errors related to the formal language restriction not serious
(insertion character |).
* par.adb (Par): set formal language for error messages if needed
* sem_ch6.adb (Check_Missing_Return): take into account possible
generated statements at the end of the function
* snames.ads-tmpl (Name_SPARK_95, Pragma_SPARK_95): new variable and
enumeration value to define a new pragma SPARK_95
* opt.ads, opt.adb (SPARK_Version_Type, SPARK_Version_Default,
SPARK_Version): new type and variables to store the SPARK version
(none by default).
(SPARK_Mode): return True when SPARK_Version is set
* par-prag.adb: Correct indentation
(Prag): take Pragma_SPARK_95 into account
* sem_prag.adb (Set_Mechanism_Value, Sig_Flags): take Pragma_SPARK_95
into account.
From-SVN: r177056
Diffstat (limited to 'gcc/ada/par-ch4.adb')
-rw-r--r-- | gcc/ada/par-ch4.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/par-ch4.adb b/gcc/ada/par-ch4.adb index e80a7cc..74ab760 100644 --- a/gcc/ada/par-ch4.adb +++ b/gcc/ada/par-ch4.adb @@ -670,8 +670,8 @@ package body Ch4 is if Token = Tok_Arrow or else Token = Tok_Colon_Equal then if SPARK_Mode then - Formal_Error_Msg_SP ("no mixing of positional and named " - & "parameter association"); + Error_Msg_SP ("|~~no mixing of positional and named " + & "parameter association"); end if; Restore_Scan_State (Scan_State); -- to Id |