Remove a statement that prevented TYPEP from being optimized for SATISFIES and...

Remove a statement that prevented TYPEP from being optimized for SATISFIES and other complicated types (S. Boukarev)
parent 60ecb615
......@@ -52,10 +52,7 @@
(if (constantp type env)
(setf type (ext:constant-form-value type env))
(return-from expand-typep form))
(cond ;; Type is not known
((not (known-type-p type))
form)
;; Variable declared with a given type
(cond ;; Variable declared with a given type
((and (symbolp object)
(setf aux (cmp-env-search-var object env))
(subtypep (var-type aux) type))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment