From: Florian Weimer <fw@deneb.enyo.de>
Subject: Access to generic formal parameters in an generic package instantiation
Date: Sun, 29 Jul 2012 20:16:00 +0200
Date: 2012-07-29T20:16:00+02:00 [thread overview]
Message-ID: <87a9yi5t7j.fsf@mid.deneb.enyo.de> (raw)
If G is a generic package and P is one of its formal parameters, it is
legal to refer to G.P where G is visible? Does this depend on the
kind of entity, or whether the formal part uses <>?
Has anybody tried to use generic formal packages to emulate Standard
ML signatures? Is it possible to express SML "where" constraints,
that is, specify that two types in two formal packages are the same,
without break down the formal packages to their components?
It seems that generic formal packages are unusual because GNAT shows
some strange effects (and the occasional bug box).
next reply other threads:[~2012-08-06 14:28 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-29 18:16 Florian Weimer [this message]
2012-07-29 19:36 ` Access to generic formal parameters in an generic package instantiation Dmitry A. Kazakov
2012-07-29 21:31 ` Florian Weimer
2012-07-30 18:37 ` Adam Beneschan
2012-07-30 18:33 ` Adam Beneschan
2012-07-31 7:48 ` Georg Bauhaus
2012-07-31 15:29 ` Adam Beneschan
2012-07-31 16:50 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox