Stack overflow on recursive signatures

[Simn]

E.g.

typedef T = haxe.ds.Vector<T -> Void>;

class Main {
	static public function main() {

	}

	static function x(t:T) { }
}

This probably affects all compound signature types.

[Simn]

This one is a bit concerning, not sure what signature I'm supposed to generate here.

[nadako]

In Kotlin,

typealias T = Array<(T)->Unit>

just gives error: recursive type alias in expansion: T. I wonder if a typedef like this makes sense...

[Simn]

What I can tell you is that somewhere in our unit tests something like this exists.

[Simn]

It's here: https://github.com/HaxeFoundation/haxe/blob/development/tests/unit/src/unit/issues/Issue3024.hx#L14

[nadako]

Well, apparently you dealt with this once already: ca29a4f

[Simn]

The problem here is that we need a value...