Changes to signatures?

Simon Ochsenreither simon at ochsenreither.de
Mon Oct 27 14:55:38 UTC 2014


Hi Brian,

thanks for the answers!

> Things that are currently expressible will retain their current 
> expression.  There may be new forms of expression added, such as
>
>    class Foo<any T> { ... }
>    class Foo<ref T> { ... } // existing declarations of Foo<T>
>                             // become shorthand for this
No, I didn't mean Generics at the language level, but the Generic 
Signatures emitted in class files. Sorry, if that was not clear.

> Here, Object comes out in the return type because all array types are 
> objects, including int[]).  According to the Value Mantra, which is 
> "What Would int Do", arrays of values would also be objects. So this 
> is (likely) unchanged.
Ok, thanks for the clarification.

Bye,

Simon



More information about the valhalla-dev mailing list