aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/a-cofove.adb
AgeCommit message (Collapse)AuthorFilesLines
2011-08-02[multiple changes]Arnaud Charlet1-4/+0
2011-08-02 Yannick Moy <moy@adacore.com> * sem_aggr.adb (Resolve_Aggregate): Fix thinko. 2011-08-02 Robert Dewar <dewar@adacore.com> * impunit.adb: Add comment. From-SVN: r177108
2011-08-02[multiple changes]Arnaud Charlet1-0/+4
2011-08-02 Yannick Moy <moy@adacore.com> * sem_aggr.adb (Check_Qualified_Aggregate): new procedure which checks qualification of aggregates in formal mode (Is_Top_Level_Aggregate): returns True for an aggregate not contained in another aggregate (Resolve_Aggregate): complete the test that an aggregate is adequately qualified in formal mode 2011-08-02 Pascal Obry <obry@adacore.com> * make.adb, bindgen.adb, gnatbind.adb: Minor reformatting. * mlib-prj.adb: Supress warning when compiling binder generated file. (Build_Library): Supress all warnings when compiling the binder generated file. From-SVN: r177103
2011-08-02[multiple changes]Arnaud Charlet1-0/+2293
2011-08-02 Yannick Moy <moy@adacore.com> * errout.adb, errout.ads (Check_Formal_Restriction): move procedure from here... * restrict.adb, restrict.ads (Check_Formal_Restriction): ...to here * sem_aggr.adb, sem_ch5.adb, sem_util.adb: Add with/use clauses to make Check_Formal_Restriction visible 2011-08-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Check_Generic_Actuals): handle properly actual in-parameters when type of the generic formal is private in the generic spec and non-private in the body. 2011-08-02 Claire Dross <dross@adacore.com> * a-cfdlli.adb, a-cfdlli.ads, a-cfhase.adb, a-cfhase.ads, a-cfhama.adb, a-cfhama.ads, a-cforse.adb, a-cforse.ads, a-cforma.adb, a-cforma.ads, a-cofove.adb, a-cofove.ads: New files implementing formal containers. * impunit.adb, Makefile.rtl: Take new files into account. From-SVN: r177102