Permalink
Browse files

Fix subtype check in :map

  • Loading branch information...
1 parent 59f4f5b commit 20f5826dd6dc027063fb5c02adc10a65603b6280 @frenchy64 frenchy64 committed Mar 25, 2013
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/main/clojure/clojure/core/typed/check.clj
@@ -104,7 +104,7 @@
(-complete-hmap ts)
(RClass-of APersistentMap [(apply Un (keys ts))
(apply Un (vals ts))]))
- _ (when (and expected (subtype? actual expected))
+ _ (when (and expected (not (subtype? actual expected)))
(type-error actual expected))]
(assoc expr
expr-type (ret actual (-FS -top -bot)))))

0 comments on commit 20f5826

Please sign in to comment.