Two problems: boxing and generic instantiation

[gavinking]

This little bit of code illustrates a several issues:

In test.ceylon:

class Single<Element>(Element e) {
    shared Element get() { return e; }
}

void test() {
    value s = Single(69);
    if (s.get()<100) {}
}

Java code generated for test.ceylon

@.com.redhat.ceylon.compiler.metadata.java.Ceylon
class Single<Element> {
     private final Element e;

    @.com.redhat.ceylon.compiler.metadata.java.TypeInfo("Element")
    public final Element get() {
        return e;
    }

    Single(@.com.redhat.ceylon.compiler.metadata.java.Name("e")
    @.com.redhat.ceylon.compiler.metadata.java.TypeInfo("Element")
    Element e) {
        this.e = e;
    }
}
@.com.redhat.ceylon.compiler.metadata.java.Ceylon
@.com.redhat.ceylon.compiler.metadata.java.Method
final class test {

    private test() {
    }

    static void test() {
        final .Single<ceylon.language.Natural> s = new <ceylon.language.Natural>.Single<ceylon.language.Natural>(.ceylon.language.Natural.instance(69L));
        if (s.get().compare(.ceylon.language.Natural.instance(100L)).smaller().booleanValue() == true) {
        }
    }
}

The problems are:

1. "new <ceylon.language.Natural>.Single<ceylon.language.Natural>" has two type argument lists.
2. "smaller()" returns unboxed "boolean"
3. "== true" is just garbage.

[FroMage]

Hey look at this, this is legal:

class Bar<Foo> {
    <Gee> Bar(Gee gee){
    }
}

{
    new <java.lang.String> Bar<java.lang.String>("");
}

I never suspected constructors could be parameterized in Java. Guess they can't in Ceylon.

[FroMage]

Point 2 is already fixed by previous work.

[FroMage]

Fixed now