Skip to content
Snippets Groups Projects
Commit 2ee8c976 authored by ram's avatar ram
Browse files

Changed MAYBE-WEAKEN-CHECK to accept a type if there is a predicate for that

exact type, rather than possibly blowing off the check entirely.
parent 056c7a6e
No related branches found
No related tags found
No related merge requests found
......@@ -109,7 +109,8 @@
(when (and (csubtypep type stype)
(not (union-type-p stype))) ;Not #!% COMMON type.
(let ((stype-cost (type-test-cost stype)))
(when (< stype-cost min-cost)
(when (or (< stype-cost min-cost)
(type= stype type))
(setq found-super t)
(setq min-type stype min-cost stype-cost))))))
(if found-super
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment