OLD | NEW |
1 -- Copyright 2008-2012 Free Software Foundation, Inc. | 1 -- Copyright 2012 Free Software Foundation, Inc. |
2 -- | 2 -- |
3 -- This program is free software; you can redistribute it and/or modify | 3 -- This program is free software; you can redistribute it and/or modify |
4 -- it under the terms of the GNU General Public License as published by | 4 -- it under the terms of the GNU General Public License as published by |
5 -- the Free Software Foundation; either version 3 of the License, or | 5 -- the Free Software Foundation; either version 3 of the License, or |
6 -- (at your option) any later version. | 6 -- (at your option) any later version. |
7 -- | 7 -- |
8 -- This program is distributed in the hope that it will be useful, | 8 -- This program is distributed in the hope that it will be useful, |
9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of | 9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of |
10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
11 -- GNU General Public License for more details. | 11 -- GNU General Public License for more details. |
12 -- | 12 -- |
13 -- You should have received a copy of the GNU General Public License | 13 -- You should have received a copy of the GNU General Public License |
14 -- along with this program. If not, see <http://www.gnu.org/licenses/>. | 14 -- along with this program. If not, see <http://www.gnu.org/licenses/>. |
15 | 15 |
16 with System; | 16 with System; |
17 | 17 |
18 package Pck is | 18 package Pck is |
| 19 type Base is tagged record |
| 20 X : Integer := 42; |
| 21 end record; |
| 22 |
| 23 type Extension is new Base with |
| 24 record |
| 25 Y : Float := 42.0; |
| 26 end record; |
19 | 27 |
20 function Ident (I : Integer) return Integer; | 28 function Ident (I : Integer) return Integer; |
21 | 29 |
22 procedure Do_Nothing (A : System.Address); | 30 procedure Do_Nothing (A : System.Address); |
23 | |
24 end Pck; | 31 end Pck; |
OLD | NEW |