------- Comment #1 from sam at gcc dot gnu dot org 2008-11-17 20:15 ------- This is fixed in GCC 4.4.0 and gives the expected error.
GNAT 4.4.0 20081116 (experimental) Copyright 1992-2008, Free Software Foundation, Inc. Compiling: three.adb (source file time stamp: 2008-11-17 20:14:51) ==============Error messages for source file: one.ads 11. function Func (X : in Type_T) return Type_T is abstract; | >>> abstract subprograms must be visible (RM 3.9.3(10)) -- sam at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23390