more band aid coming - Object methods on 'any' tvars

Maurizio Cimadamore maurizio.cimadamore at
Fri Jan 16 12:29:37 UTC 2015

I've just pushed a compiler/specializer patch that adds support for

This is internally handled as an 'aconst_null' which has a
BytecodeMapping entry attached to it (in case T is an 'any' type-var).
The specializer will then replace the aconst_null with the proper

Again, to keep things simpler at this stage, stuff like 'int.default'
will not work (parser will reject that). This should still be enough to
get you going with the experiments.

Happy coding!


On 15/01/15 11:35, Maurizio Cimadamore wrote:
>> That is how I was intending to implement it, but if I don’t want to
>> subclass then I need have a type something like
>> Class Optional<any T> {
>> 	final T value;
>> 	final boolean hasValue;
>> }
>> And that means I need to set value to something, even for the empty case.
>> Hence the need for defaults.
> Right - I hear you.
> Maurizio
>> Duncan.

More information about the valhalla-dev mailing list