From 05068cde824a198682830d52bee4ba57ef428a07 Mon Sep 17 00:00:00 2001 From: toy <toy> Date: Tue, 18 Mar 2003 05:35:28 +0000 Subject: [PATCH] Correct the typos in the cons simple-union method. Fixes Entomotomy bug cons-union-method-inaccurate. --- code/type.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/code/type.lisp b/code/type.lisp index 535f76652..4d3cffa05 100644 --- a/code/type.lisp +++ b/code/type.lisp @@ -5,7 +5,7 @@ ;;; Carnegie Mellon University, and has been placed in the public domain. ;;; (ext:file-comment - "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/type.lisp,v 1.49 2003/02/03 15:19:38 toy Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/type.lisp,v 1.50 2003/03/18 05:35:28 toy Exp $") ;;; ;;; ********************************************************************** ;;; @@ -2430,7 +2430,7 @@ (make-cons-type :car-type car-type1 :cdr-type (type-union cdr-type1 cdr-type2))) ((type= cdr-type1 cdr-type2) - (make-cons-type :car-type (type-union cdr-type1 cdr-type2) + (make-cons-type :car-type (type-union car-type1 car-type2) :cdr-type cdr-type1))))) (define-type-method (cons :simple-intersection) (type1 type2) -- GitLab