X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-type.lisp;fp=src%2Fcompiler%2Fgeneric%2Fvm-type.lisp;h=5c78b2b9f3140e9a9458da21e5daf89395bd421a;hb=260de2062fca170efdac3e42491d7d866c2d2e56;hp=9d0a031e2efc8a1e4b052a74f61b9cfe913b3c15;hpb=a6c4b66e040824da2fc76e101f92940e8412c6d3;p=sbcl.git

diff --git a/src/compiler/generic/vm-type.lisp b/src/compiler/generic/vm-type.lisp
index 9d0a031..5c78b2b 100644
--- a/src/compiler/generic/vm-type.lisp
+++ b/src/compiler/generic/vm-type.lisp
@@ -107,13 +107,6 @@
     (double-float 'double-float)
     #!+long-float (long-float 'long-float)))
 
-(defun contains-unknown-type-p (ctype)
-  (cond ((unknown-type-p ctype) t)
-        ((intersection-type-p ctype)
-         (some #'contains-unknown-type-p (intersection-type-types ctype)))
-        ((union-type-p ctype)
-         (some #'contains-unknown-type-p (union-type-types ctype)))))
-
 ;;; This function is called when the type code wants to find out how
 ;;; an array will actually be implemented. We set the
 ;;; SPECIALIZED-ELEMENT-TYPE to correspond to the actual