predlib: fix a braino in one of the clauses of CANONICAL-TYPE

Instead of returning the registered tag (when found), we've returned NIL.
This commit is contained in:
Daniel Kochmański 2025-08-27 12:14:06 +02:00
parent 47c17cbfa2
commit dceff25679

View file

@ -1587,8 +1587,8 @@ if not possible."
(t
(ext:if-let ((expander (get-sysprop (first type) 'DEFTYPE-DEFINITION)))
(canonical-type (funcall expander type env) env)
(unless (find-registered-tag (first type) #'eql)
(throw '+canonical-type-failure+ nil))))))
(or (find-registered-tag (first type) #'eql)
(throw '+canonical-type-failure+ nil))))))
((clos::classp type)
(register-class type env))
((and (fboundp 'function-type-p) (function-type-p type))