X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Fsrctran.lisp;h=16d6cebb1598bcfc12fe83bc50e8827da2f7d8e9;hb=3aff5655417da74a19ce576f55b2cb6999cda6c5;hp=d8e2ac0eec7af518ed9cb7e43ea03afb0576853f;hpb=2d65a5544c5134461574a0e69a6f1361bb98b27c;p=sbcl.git

diff --git a/src/compiler/srctran.lisp b/src/compiler/srctran.lisp
index d8e2ac0..16d6ceb 100644
--- a/src/compiler/srctran.lisp
+++ b/src/compiler/srctran.lisp
@@ -138,26 +138,6 @@
 		   `(cdr ,(frob (1- n))))))
       (frob n))))
 
-;;; 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)))))
-
-
 ;;;; arithmetic and numerology
 
 (def-source-transform plusp (x) `(> ,x 0))