Support Annotations on Methods

[DavePearce]

The intention is to allow a @test annotation.

[DavePearce]

What is the format? Its an @ followed by an identifier that represents a type name which is resolved in the usual fashion for types, and which may be followed by a value. For example:

import uint from std::integer

@uint(0)
function blah():
 ...

(obviously this one isn't very useful)

[DavePearce]

There are three supports value formats:

• Primitives

@test(0)

• Records

@test{field: 1}

• Arrays

@test[1,2,3]