User Defined Attributes

[Walter Bright]

On 11/6/2012 10:01 AM, David Nadlinger wrote:> On Tuesday, 6 November 2012 at 
17:51:28 UTC, Walter Bright wrote:
 >> On 11/6/2012 9:32 AM, David Nadlinger wrote:
 >>> service Calculator {
 >>>    i32 calculate(1:i32 a, 2:i32 b, 3:Op op)
 >>
 >> What does this mean? That 'a' is the first parameter and has type i32?
 >
 > It means that ›a‹ has type i32

Ok, but a type is not a UDA <g>.

 > and is the parameter with ID 1. The parameter
 > list could have also been (42:i32 a, 5:i32 b, 1:Op op). If no ids are specified,
 > negative ones are auto-assigned by the compiler, starting from -1.

Why isn't 'a' the ID?