• Burton Radons (8/8) Jul 20 2005 This is allowed by the compiler:
• Andrew Fedoniouk (6/14) Jul 22 2005 I cannot see any wrong behavior here.
• Burton Radons (3/28) Jul 22 2005 It's an alias argument, it can take any scope - just as the first,

Burton Radons <burton-radons smocky.com> writes:

This is allowed by the compiler:

    template A () { }

    class B (alias arg) { }

    class C : B! (A! ()) { }

But this is rejected with the error string "Error: A!() is not a symbol":

    template A () { }

    class B (alias arg = A! ()) { }

    class C : B! () { }

"Andrew Fedoniouk" <news terrainformatica.com> writes:

"Burton Radons" <burton-radons smocky.com> wrote in message 
news:dbn2eh$1bbi$1 digitaldaemon.com...
 This is allowed by the compiler:

    template A () { }

    class B (alias arg) { }

    class C : B! (A! ()) { }

 But this is rejected with the error string "Error: A!() is not a symbol":

    template A () { }

    class B (alias arg = A! ()) { }

    class C : B! () { }

I cannot see any wrong behavior here.
alias arg = something

'something' here should be some variable name but not a type name as in your
example. 

Burton Radons <burton-radons smocky.com> writes:

Andrew Fedoniouk wrote:
 "Burton Radons" <burton-radons smocky.com> wrote in message 
 news:dbn2eh$1bbi$1 digitaldaemon.com...
 
This is allowed by the compiler:

   template A () { }

   class B (alias arg) { }

   class C : B! (A! ()) { }

But this is rejected with the error string "Error: A!() is not a symbol":

   template A () { }

   class B (alias arg = A! ()) { }

   class C : B! () { }

 
 
 I cannot see any wrong behavior here.
 alias arg = something
 
 'something' here should be some variable name but not a type name as in your
 example. 

It's an alias argument, it can take any scope - just as the first, 
working example shows.