Propagate type information through `apply`

Description

Similarly to we can propagate return type through apply call when knowing return type of a target function, for example return type of (apply str 1 [2 3]) would resolve to string.

For cases when the number of arguments is unknown ahead of time we should resolve return type to a set of types of the matching function methods, for example:

Depends on and

Environment

None

Activity

Show:
Mike Fikes
January 22, 2020, 9:34 PM

I think I hadn’t included build info for this ticket because it depends on another patch (without that other patch it would fail).

David Nolen
January 22, 2020, 9:31 PM

What’s the status of this patch? I don't see the build info here?

 

Assignee

Mike Fikes

Reporter

Roman Liutikov

Labels

None

Approval

None

Patch

Code and Test

Priority

Major