AW: Recursive parameters in generics

["Grein, Christoph (Fa. ESG)" <Christoph.Grein@eurocopter.com>]

Adam wrote a fair exegesis:
> The second formal parameter is "with package This_A is new A (S =>
> S)";  This matches My_A as long as the S parameter of This_A and My_A
> match... So the question now is whether My_A.S_Of and "whatever"
> statically denote the same constant, or are static expressions with
the
> same value (see 12.7(6)).
> ...
> To summarize my conclusions: (1) Your example *should* be legal, ...

I'm not so sure since generic parameters are never static. The actual
could be an expression like

S => Function_Call & Another_Non_Static;

But then the puzzle remains why the version with Integer replacing
String is legal. S_Of is never static as far as I can see.


Eurocopter Deutschland GmbH
Sitz der Gesellschaft/Registered Office: Donauwoerth
Registergericht/Registration Court: Amtsgericht Augsburg HRB 16508
Vorsitzender des Aufsichtsrates/Chairman of the Supervisory Board: Dr. Lutz Bertling
Geschaeftsfuehrung/Board of Management:
Dr. Wolfgang Schoder, Vorsitzender/CEO; Friedrich-Wilhelm Hormel; Ralf Barnscheidt

CONFIDENTIALITY NOTICE 

This communication and the information it contains is intended for the addressee(s) named above and for no other persons or organizations. It is confidential and may be legally privileged and protected by law. The unauthorized use, copying or disclosure of this communication or any part of it is prohibited and may be unlawful. 
If you have received this communication in error, kindly notify us by return e-mail and discard and/or delete the communication. Thank you very much. 
It is possible for e-mails to be intercepted or affected by viruses. Whilst we maintain virus checks on our e-mails, we accept no liability for viruses or other material which might be introduced with this message.