On 4/6/2012 4:20 AM, Manu wrote:
On 4/6/2012 2:54 AM, Timon Gehr wrote: Should add additional information to the type Foo. Attributes are on the declaration, and not passed around.
Right, they are not added to the *type*.
On 4/6/2012 4:20 AM, Manu wrote:
On 4/6/2012 2:54 AM, Timon Gehr wrote: Should add additional information to the type Foo. Attributes are on the declaration, and not passed around.
Right, they are not added to the *type*.