Class Parameter Inheritance duplicate names

[mkhan45]

The example uses a and b in the superclass, and then x and y in the subclasses with implicit constructor:

// With class parameters:
// implicit field declarations and constructor
class IntPair(a: int, b: int) {
    def sum() -> int {
        return a + b;
    }
}

...

// Alternative C:
// class parameters, implicit constructor and call to super
class IntTripleC(x: int, y: int, c: int) extends IntPair(x, y) {
    def sum() -> int {
        return a + b + c;
    }
}

I expect this to work fine when I reuse the field names, but it errors:

// With class parameters:
// implicit field declarations and constructor
class IntPair(a: int, b: int) {
    def sum() -> int {
        return a + b;
    }
}

...

// Alternative C:
// class parameters, implicit constructor and call to super
class IntTripleC(a: int, b: int, c: int) extends IntPair(a, b) {
    def sum() -> int {
        return a + b + c;
    }
}

> v3c test.v3
[test.v3 @ 27:18] MemberRedefined: member "a" redefined
class IntTripleC(a: int, b: int, c: int) extends IntPair(a, b) {
                 ^
[test.v3 @ 27:26] MemberRedefined: member "b" redefined
class IntTripleC(a: int, b: int, c: int) extends IntPair(a, b) {

[mkhan45]

Is this intentional and/or a pain to fix?

[titzer]

Yeah it's an unfortunate rough edge on the way class parameters work. One idea I had to make this nicer is to allow using the super keyword to represent "inherited" constructor parameters. E.g.:

class Thing(a: int, b: int) { }
class SubThing(super, c: int) extends Thing { } // implicitly includes `a` and `b` as parameters to the constructor

var x = Thing.new(1, 2);
var y = SubThing.new(3, 4, 5);

The super keyword is basically then a stand-in for the superclasses' constructor parameters, and could be at the beginning, end, or middle of a constructor declaration or param declaration.

[mkhan45]

At least maybe noting this in the docs would be good?