X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Flate-type.lisp;h=699271225315364359be4c2ab164a3ab70d19c40;hb=ef8fd235fa2ca39e444710d1bc275acbc8d3279c;hp=ff45e57e9324a541e764129b70bc05f9e57d53a5;hpb=b20abacbe79a0b0da4f17389c06ec030a237da14;p=sbcl.git

diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp
index ff45e57..6992712 100644
--- a/src/code/late-type.lisp
+++ b/src/code/late-type.lisp
@@ -307,6 +307,10 @@
     ((csubtypep type1 (specifier-type 'function)) nil)
     (t :call-other-method)))
 (!define-type-method (function :complex-union2) (type1 type2)
+  (declare (ignore type2))
+  ;; TYPE2 is a FUNCTION type.  If TYPE1 is a classoid type naming
+  ;; FUNCTION, then it is the union of the two; otherwise, there is no
+  ;; special union.
   (cond
     ((type= type1 (specifier-type 'function)) type1)
     (t nil)))
@@ -1031,11 +1035,6 @@
 
 (!define-type-class named)
 
-(defvar *wild-type*)
-(defvar *empty-type*)
-(defvar *universal-type*)
-(defvar *universal-fun-type*)
-
 (!cold-init-forms
  (macrolet ((frob (name var)
 	      `(progn