Does this work with generic type parameters?

[markknol]

I'm looking into this library, looks very neat.
(Too lazy to check it out first, but) does this library support this:

static function sorted<T:Float, A:Array<T>>(arr:A):A {
  // ..
}

static function sorted<T:String, A:Array<T>>(arr:A):A {
  // ..
}

[jcward]

Interesting -- no, it doesn't work. Normally the Context.typeof call throws, and we simply find the function that doesn't throw. But when using type parameters, the Constraint check failure errors occur during the reification, before the Context.typeof call, which even if moved inside the try/catch, it seems they can't be caught.

I might try Context.parse instead of reification...