Type synonyms cannot be recursive.

[PhucVH888]

When define a fake polymorphic function using typedef, with argument type is closure, then it raises an error.

typedef A = int

def foo(x:A,f:A->A) : A
  f(x)

class Main
  def main() : void {
    let f = \(x:A) -> x*100 in
    print foo(9,f)
  }

The error relates to alias name A of type int.

Type synonyms cannot be recursive. One of the culprits is A
In parameter 'f : A -> A'
In function 'foo' of type 'A'

[EliasC]

This should be fixed by #408! Could you try checking it out and confirming?

[PhucVH888]

I see. Is it ready to be merged?

[EliasC]

Since it's my PR, it's not up to me to decide :)

[PhucVH888]

Ok, I will test it and confirm with you 👍

[PhucVH888]

@EliasC : Bravo, it works.

[EliasC]

Great! I think @supercooldave was also reviewing that PR. If you are both happy with it it can be merged.

[supercooldave]

I find the whole "fake polymorphic function" part a bit of a red herring.

I will make a new test for this case, and then I can do the merge.

[supercooldave]

Closed by #408.