Skip to content
Snippets Groups Projects
Commit 044e9fe9 authored by ram's avatar ram
Browse files

Fix of-type to weaken declaration when the init is not of the right type.

parent 68db61a1
No related branches found
No related tags found
No related merge requests found
......@@ -1117,7 +1117,15 @@ collected result will be returned as the value of the LOOP."
;; type specifier is unambiguously, and without need of translation,
;; a common lisp type specifier or pattern (matching the variable) thereof.
(loop-pop-source)
(loop-pop-source))
#-cmu
(loop-pop-source)
#+cmu
(let* ((spec (loop-pop-source))
(init (loop-typed-init spec)))
(if (typep init spec)
spec
`(or (member ,init) spec))))
((symbolp z)
;;This is the (sort of) "old" syntax, even though we didn't used to support all of
;; these type symbols.
......
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