core_specs should override java methods

[arohner]

(inc "foo")

This obviously should fail, but the java method signature is Object -> Object. We've specified number? -> number? in core_specs.clj, but this isn't being checked yet.

[divs1210]

spectrum.repl> (f/infer-form '(inc x) {:x (t/value-t "hello")})
infer 2 equations
([:eq ?x1803 [value "hello"]]
 [:conde!
  {[:eq [cat [class double]] [cat ?x1803]] [:eq ?t1804 [class double]],
   [:eq [cat #'clojure.core/any?] [cat ?x1803]]
   [:eq ?t1804 [or [#'clojure.core/number? [value nil]]]],
   [:eq [cat [class long]] [cat ?x1803]] [:eq ?t1804 [class long]]}])
unify-all eq 0 [:eq ?x1803 [value hello]]
unify-all eq 1 [:conde! {[:eq [cat [class double]] [cat ?x1803]] [:eq ?t1804 [class double]], [:eq [cat #'clojure.core/any?] [cat ?x1803]] [:eq ?t1804 [or [#'clojure.core/number? [value nil]]]], [:eq [cat [class long]] [cat ?x1803]] [:eq ?t1804 [class long]]}]
conde [:eq [cat [class double]] [cat ?x1803]] failed
unify [cat #'clojure.core/any?] [cat ?x1803] cache-hit-stats: 0/2=0.00%
conde: [:eq [cat #'clojure.core/any?] [cat ?x1803]] matched
conde [:eq [cat [class long]] [cat ?x1803]] failed
infer done unifying 1 1
debug-all-types
?t1804 :static-call (. clojure.lang.Numbers (inc x))
:static-call (. clojure.lang.Numbers (inc x)) ([:conde! {[:eq [cat [class double]] [cat ?x1803]] [:eq ?t1804 [class double]], [:eq [cat #'clojure.core/any?] [cat ?x1803]] [:eq ?t1804 [or [#'clojure.core/number? [value nil]]]], [:eq [cat [class long]] [cat ?x1803]] [:eq ?t1804 [class long]]}])

"Elapsed time: 0.023908 msecs"
nil
infer: (. clojure.lang.Numbers (inc x)) => [or [#'clojure.core/number? [value nil]]]
[or [#'clojure.core/number? [value nil]]]


spectrum.repl> (f/infer-form '(inc x) {:x (t/value-t 1)})
infer 2 equations
([:eq ?x1805 [value 1]]
 [:conde!
  {[:eq [cat [class double]] [cat ?x1805]] [:eq ?t1806 [class double]],
   [:eq [cat #'clojure.core/any?] [cat ?x1805]]
   [:eq ?t1806 [or [#'clojure.core/number? [value nil]]]],
   [:eq [cat [class long]] [cat ?x1805]] [:eq ?t1806 [class long]]}])
unify-all eq 0 [:eq ?x1805 [value 1]]
unify-all eq 1 [:conde! {[:eq [cat [class double]] [cat ?x1805]] [:eq ?t1806 [class double]], [:eq [cat #'clojure.core/any?] [cat ?x1805]] [:eq ?t1806 [or [#'clojure.core/number? [value nil]]]], [:eq [cat [class long]] [cat ?x1805]] [:eq ?t1806 [class long]]}]
unify [cat [class double]] [cat ?x1805] cache-hit-stats: 0/2=0.00%
conde: [:eq [cat [class double]] [cat ?x1805]] matched
unify [cat #'clojure.core/any?] [cat ?x1805] cache-hit-stats: 0/2=0.00%
conde: [:eq [cat #'clojure.core/any?] [cat ?x1805]] matched
unify [cat [class long]] [cat ?x1805] cache-hit-stats: 0/2=0.00%
conde: [:eq [cat [class long]] [cat ?x1805]] matched
infer done unifying 3 3
debug-all-types
?t1806 :static-call (. clojure.lang.Numbers (inc x))
:static-call (. clojure.lang.Numbers (inc x)) ([:conde! {[:eq [cat [class double]] [cat ?x1805]] [:eq ?t1806 [class double]], [:eq [cat #'clojure.core/any?] [cat ?x1805]] [:eq ?t1806 [or [#'clojure.core/number? [value nil]]]], [:eq [cat [class long]] [cat ?x1805]] [:eq ?t1806 [class long]]}])

"Elapsed time: 0.021641 msecs"
nil
infer: (. clojure.lang.Numbers (inc x)) => [or [#'clojure.core/number? [class double] [class long] [value nil]]]
[or [#'clojure.core/number? [class double] [class long] [value nil]]]