------- Comment #2 from sam at gcc dot gnu dot org 2007-11-26 20:46 -------
Ludovic,
are you sure that this applies when a tagged type is used as a completion of a
private type with discriminants having default expressions?
This case is handled specially in GNAT sources. sem_ch3.adb reads:
-- Tagged types cannot have defaulted discriminants, but a
-- non-tagged private type with defaulted discriminants
-- can have a tagged completion.
--
sam at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sam at gcc dot gnu dot org
Status|NEW |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15611
