comp.lang.ada
 help / color / mirror / Atom feed
* <> 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

* Re: <> syntax in generic formal_package_actual_part
  2014-05-08 23:20 ` Adam Beneschan
@ 2014-05-09 13:05   ` G.B.
  0 siblings, 0 replies; 3+ messages in thread
From: G.B. @ 2014-05-09 13:05 UTC (permalink / raw)


On 09.05.14 01:20, Adam Beneschan wrote:

>> 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:

Thank you!




^ 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