Parametric polymorphism and array types seem to be broken

[TobiasWrigstad]

It seems an additional level of array is added.

class Main
  def main() : void
    ()

passive class Bug<t>
  def here() : Bug<[t]>
    new Bug<[t]>

generates

Type 'Bug<[[t]]>' does not match expected type 'Bug<[t]>'
In expression:
  new Bug<[t]>
In method 'here' of type 'Bug<[t]>'
In class 'Bug<t>'

[EliasC]

I can look at this while fixing #234!

[TobiasWrigstad]

Thanks!

[albertnetymk]

I am a bit confused. I thought the error message is expected, for we are substituting t with [t] in the new statement, and the return type becomes [[t]] accordingly.

[EliasC]

Let's make a more concrete example:

class List<t>
  def eachElementAsAnArray() : List<[t]>
    let l = new List<[t]> in
      ... -- some expression that ends in l

Would you agree that this code should compile?

[albertnetymk]

Could you provide complete snippet?

[EliasC]

passive class Container<t>
  content : t
  def containerWithArray() : Container<[t]>
    let c = new Container<[t]> in {
      c.content = [this.content];
      c
    }

class Main
  def main() : void
    let c1 = new Container<int> in{
      c1.content = 42;
      let c2 = c1.containerWithArray() in
        assertTrue(c2.content[0] == c1.content);
      print "passed"
    }

[albertnetymk]

OK, clearly now. Thanks.

[EliasC]

Fixed as of 3619b53ae4a730f8a42e702641c0a87f4431f49b.