Skip to content
Browse files

CTYP-67 compare inlining

  • Loading branch information...
1 parent 34f0fd6 commit 044434b33c4d9ce1df95170bfff3c45a9c2cdbb6 @frenchy64 frenchy64 committed Sep 25, 2013
View
5 src/main/clojure/clojure/core/typed/base_env.clj
@@ -927,8 +927,7 @@ clojure.core/derive (Fn [(U Symbol Keyword Class) (U Symbol Keyword) -> Any]
; could be more accurate with 3rd arg
[(U Symbol Keyword Class) (U Symbol Keyword) Any -> Any])
-clojure.core/compare (All []
- [Comparable Any -> Number])
+clojure.core/compare [Comparable Any -> Number]
clojure.core/require [Any * -> nil]
@@ -1595,6 +1594,8 @@ clojure.lang.Numbers/gt [Number Number -> boolean]
clojure.lang.Numbers/gte [Number Number -> boolean]
clojure.lang.Numbers/isZero (predicate (Value 0))
+
+clojure.lang.Util/compare [Any Any -> Number]
)
{'clojure.lang.RT/count (count-type)}))
View
3 src/test/clojure/clojure/core/typed/test/core.clj
@@ -2342,6 +2342,9 @@
(deftest recursive-ann-test
(is (check-ns 'clojure.core.typed.test.recursive)))
+(deftest comparable-inline-test
+ (is-cf (fn [v x] (compare v x)) (Fn [Comparable Any -> Number])))
+
;(reset-caches)
;(chk/abstract-result

0 comments on commit 044434b

Please sign in to comment.
Something went wrong with that request. Please try again.