[CTYP-67] core.typed doesn't interact well with inlining Created: 21/Sep/13 Updated: 25/Sep/13 Resolved: 25/Sep/13
|Reporter:||Julian Birch||Assignee:||Ambrose Bonnaire-Sergeant|
(Fn [Comparable Any -> Number])
(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.)
|Comment by Ambrose Bonnaire-Sergeant [ 25/Sep/13 3:24 AM ]|