comp.lang.ada
 help / color / mirror / Atom feed
From: Victor Porton <porton@narod.ru>
Subject: Suggestion: Allow functions returning abstract types in certain situations
Date: Wed, 21 May 2014 17:52:27 +0300
Date: 2014-05-21T17:52:27+03:00	[thread overview]
Message-ID: <lliej8$r67$1@speranza.aioe.org> (raw)

I think the standard should allow functions returning abstract types, but we 
can restrict to call such functions ONLY in parent parts of record 
extensions or private extensions.

Otherwise, I see no way to create aggregates derived of abstract private 
types.

-- 
Victor Porton - http://portonvictor.org

             reply	other threads:[~2014-05-21 14:52 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-05-21 14:52 Victor Porton [this message]
2014-05-21 16:10 ` Suggestion: Allow functions returning abstract types in certain situations Adam Beneschan
2014-05-21 19:09   ` Dan'l Miller
2014-05-21 22:09     ` Robert A Duff
2014-05-21 22:29       ` Adam Beneschan
2014-05-21 22:04   ` Robert A Duff
2014-05-21 22:33     ` Adam Beneschan
2014-05-21 23:19       ` Robert A Duff
2014-05-22  7:22         ` Dmitry A. Kazakov
2014-05-24 18:39           ` Robert A Duff
2014-05-24 19:20             ` Dmitry A. Kazakov
2014-05-22 14:47         ` Adam Beneschan
2014-05-24 18:45           ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox