* <> syntax in generic formal_package_actual_part
@ 2014-05-08 22:37 Georg Bauhaus
2014-05-08 23:20 ` Adam Beneschan
0 siblings, 1 reply; 3+ messages in thread
From: Georg Bauhaus @ 2014-05-08 22:37 UTC (permalink / raw)
Hi,
is a compiler correct in accepting the syntax of these four lines?
Specifically, if the "<>" the sole text in parentheses, I'd find
myself at home. But I'm no longer sure with other associations present.
Should there be an "others =>" before the box?
with Ada.Containers.Vectors;
generic
with package G is new Ada.Containers.Vectors (Integer, Positive, <>);
package Gen_Pak is end Gen_Pak;
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: <> syntax in generic formal_package_actual_part
2014-05-08 22:37 <> syntax in generic formal_package_actual_part Georg Bauhaus
@ 2014-05-08 23:20 ` Adam Beneschan
2014-05-09 13:05 ` G.B.
0 siblings, 1 reply; 3+ messages in thread
From: Adam Beneschan @ 2014-05-08 23:20 UTC (permalink / raw)
On Thursday, May 8, 2014 3:37:10 PM UTC-7, Georg Bauhaus wrote:
> Hi,
>
> is a compiler correct in accepting the syntax of these four lines?
> Specifically, if the "<>" the sole text in parentheses, I'd find
> myself at home. But I'm no longer sure with other associations present.
> Should there be an "others =>" before the box?
>
>
> with Ada.Containers.Vectors;
> generic
> with package G is new Ada.Containers.Vectors (Integer, Positive, <>);
> package Gen_Pak is end Gen_Pak;
This is illegal, but it doesn't have to be "others => <>"; I believe this is legal:
generic
with package G is new Ada.Containers.Vectors (Integer, Positive, "=" => <>);
package Gen_Pak is end Gen_Pak;
-- Adam
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2014-05-09 13:05 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-05-08 22:37 <> syntax in generic formal_package_actual_part Georg Bauhaus
2014-05-08 23:20 ` Adam Beneschan
2014-05-09 13:05 ` G.B.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox