diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-29 08:51:53 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-07-29 08:51:53 +0000 |
| commit | 1ea4332a7c4f225479f22ffd5be4b6d83954ea89 (patch) | |
| tree | 8c38f3248ca1de9382b2e7ab9b2b501ff9e59308 /gcc/ada/sem_cat.adb | |
| parent | c7bc7108dfe17ffa08b134f26fe84fdde4145f9a (diff) | |
| download | gcc-1ea4332a7c4f225479f22ffd5be4b6d83954ea89.tar.gz | |
2009-07-29 Robert Dewar <dewar@adacore.com>
* exp_atag.ads, exp_atag.adb, s-tasini.adb, s-soflin.ads,
exp_disp.adb, g-socket.adb: Minor reformatting
2009-07-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch7.adb (New_Private_Type): Create class-wide type after other
attributes have been established, so that they are all inherited by the
class-wide type.
* sem_cat.adb (Validate_Remote_Access_Object_Type_Declaration): Handle
properly named subtypes of class-wide types.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150201 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_cat.adb')
| -rw-r--r-- | gcc/ada/sem_cat.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_cat.adb b/gcc/ada/sem_cat.adb index e24b456952f..d5d38235f36 100644 --- a/gcc/ada/sem_cat.adb +++ b/gcc/ada/sem_cat.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -1774,12 +1774,12 @@ package body Sem_Cat is -- Check RCI or RT unit type declaration. It may not contain the -- declaration of an access-to-object type unless it is a general access - -- type that designates a class-wide limited private type. There are - -- also constraints on the primitive subprograms of the class-wide type - -- (RM E.2.2(14), see Validate_RACW_Primitives). + -- type that designates a class-wide limited private type or subtype. + -- There are also constraints on the primitive subprograms of the + -- class-wide type (RM E.2.2(14), see Validate_RACW_Primitives). if Ekind (T) /= E_General_Access_Type - or else Ekind (Designated_Type (T)) /= E_Class_Wide_Type + or else not Is_Class_Wide_Type (Designated_Type (T)) then if In_RCI_Declaration (Parent (T)) then Error_Msg_N |