We're updating the issue view to help you get more done. 

core.typed doesn't interact well with inlining

Description

(cf compare)

gives

(Fn [Comparable Any -> Number])

but

(cf (fn [v x] (compare v x)) (Fn [Comparable Any -> Number]))

fails the type check.

(Credit: cspent on IRC figured out that the problem was that it was inlining the compare function, and therefore not using the annotation.)

Environment

None

Status

Assignee

Ambrose BS

Reporter

import

Labels

None

Approval

None

Patch

None

Affects versions

0.2

Priority

Major