0.6.8.14:

[sbcl.git] / src / compiler / srctran.lisp

diff --git a/src/compiler/srctran.lisp b/src/compiler/srctran.lisp
index d8e2ac0..16d6ceb 100644 (file)
--- a/src/compiler/srctran.lisp
+++ b/src/compiler/srctran.lisp
@@ -138,26 +138,6 @@
                   `(cdr ,(frob (1- n))))))
       (frob n))))
 \f
-;;; MNA: cons compound-type patch
-;;; FIXIT: all commented out
-
-; ;;;; CONS assessor derive type optimizers.
-
-; (defoptimizer (car derive-type) ((cons))
-;   (let ((type (continuation-type cons)))
-;     (cond ((eq type (specifier-type 'null))
-;             (specifier-type 'null))
-;        ((cons-type-p type)
-;             (cons-type-car-type type)))))
- 
-; (defoptimizer (cdr derive-type) ((cons))
-;   (let ((type (continuation-type cons)))
-;     (cond ((eq type (specifier-type 'null))
-;             (specifier-type 'null))
-;        ((cons-type-p type)
-;             (cons-type-cdr-type type)))))
-
-\f
 ;;;; arithmetic and numerology
 
 (def-source-transform plusp (x) `(> ,x 0))