Re: Syntax for specifying role parameters

[Miroslav Silovic]

[EMAIL PROTECTED] wrote:
I don't think that a role has a long and a short name. This is
because they aren't subject to MMD. I think of them more as
beeing expanded like C++ templates even though the actual mechanism
will be much more sophisticated. Actually I think of them as F-bounds
as well ;)
Uhm, but C++ templates are subject to (compile-time) MMD, once you 
specialise them. In other words,

role Something[Int $num] {...}
role Something[String $num] {...}
could just as well work. :)
   Miro