Fix return value of SB-INTERPRETER::SPECIFIER-FROM-CHECKFUN

When looking up the type for a predicate via SB-C::*BACKEND-PREDICATE-TYPES*, the result has to be unparsed.
sbcl · Jul 8, 2016 · 540ce7f · 540ce7f
1 parent 85d0fba
commit 540ce7f
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/src/interpreter/checkfuns.lisp b/src/interpreter/checkfuns.lisp
@@ -116,11 +116,12 @@
           (or (get-unary-predicate simplified) simplified)))))
 
 (defun specifier-from-checkfun (fun-or-ctype)
-  (if (functionp fun-or-ctype)
-      (or (gethash (%fun-name fun-or-ctype)
-                   sb-c::*backend-predicate-types*)
-          (bug "No type specifier for function ~S" fun-or-ctype))
-      (type-specifier fun-or-ctype)))
+  (type-specifier
+   (if (functionp fun-or-ctype)
+       (or (gethash (%fun-name fun-or-ctype)
+                    sb-c::*backend-predicate-types*)
+           (bug "No type specifier for function ~S" fun-or-ctype))
+       fun-or-ctype)))
 
 (defun typecheck-fail (symbol value type)
   (error 'interpreter-type-error