ada bug experimenting with "limited_with"

mrychlik@welho.com mrychlik@welho.com
Thu May 22 15:57:00 GMT 2008


While experimenting with "limited with" as described in John Barnes  
Ada 2005 Rationale - Structure and visibility the following problem  
came up when trying to call Employees.Assign_Employee from Departments.

The attachment contains the complete program compilation proceeded as follows:


michael@andLinux:~/bugreport$ gnatmake main
gcc-4.2 -c departments.adb
+===========================GNAT BUG DETECTED==============================+
| 4.2.1 (Ubuntu 4.2.1-5ubuntu6) (i486-pc-linux-gnu) Assert_Failure  
sinfo.adb:1731|
| Error detected at departments.adb:13:16                                  |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc-4.2 or gnatmake command that you entered.          |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.

departments.adb
departments.ads
employees.ads

compilation abandoned
gnatmake: "departments.adb" compilation error




More information about the Gcc-bugs mailing list