http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18221
nicolas.boulenguez at free dot fr changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |nicolas.boulenguez at free | |dot fr --- Comment #3 from nicolas.boulenguez at free dot fr 2011-08-31 13:07:28 UTC --- Found 4.6.1. I suggest to provide a body, so that there is no other illegality. package Test_128 is package inner is private type T1; end inner; type T1_ptr is access inner.T1; -- line 9 ERROR: gnat mistakenly accepts end Test_128; package body test_128 is package body inner is type T1 is new Integer; end inner; end Test_128;