Closed suned closed 3 years ago
The current implementation of the type analyzer for Curry types and curry calls only adds the uncurried function type as the type of __call__. This means that the following call produces a false negative:
Curry
curry
__call__
f: Curry[Callable[[int, int], int]] g: Callable[[Callable[[int], Callable[[int], int]]], int] g(f)
As a first solution I suggest to add an overloaded signature to Curry.__call__ that is curried in the required arguments only
Curry.__call__
The current implementation of the type analyzer for
Currytypes andcurrycalls only adds the uncurried function type as the type of__call__. This means that the following call produces a false negative:As a first solution I suggest to add an overloaded signature to
Curry.__call__that is curried in the required arguments only