Le 06/04/2012 22:46, Mafi a écrit :
Also, if I see:

@square(5) int foo();

How do I know that I have to use __traits(getAttribute, foo, Area)?

Another possibility:

@attribute Area area(int w, int h) { return Area(w, h);}
@attribute Area area(Area a) { return a;}

Area square(int a) { return Area(a, a);}

@area(5, 5) int foo();
@area(square(5)) int bar();

-Steve

The second possibility looks good. Especially because the lack of
@attribute on square disallows @square.

Mafi

This is adding code just for the pleasure of adding more code. Why wan't I construct Area directly as attribute ?

Reply via email to