diff --git a/compiler/srctran.lisp b/compiler/srctran.lisp index 66c45bbee888f1d50a0b4537718d0b0c69925155..94bb4de4a6e9bf8282bb4ae8f6469280c71f6b2b 100644 --- a/compiler/srctran.lisp +++ b/compiler/srctran.lisp @@ -7,7 +7,7 @@ ;;; Scott Fahlman (FAHLMAN@CMUC). ;;; ********************************************************************** ;;; -;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.12 1990/08/24 18:29:38 wlott Exp $ +;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.13 1990/09/24 18:09:36 wlott Exp $ ;;; ;;; This file contains macro-like source transformations which convert ;;; uses of certain functions into the canonical form desired within the @@ -597,7 +597,7 @@ ;;; NIL, false otherwise. ;;; (defun unsupplied-or-nil (arg) - (declare (type (or continuation null arg))) + (declare (type (or continuation null) arg)) (or (not arg) (and (constant-continuation-p arg) (not (continuation-value arg))))) diff --git a/compiler/typetran.lisp b/compiler/typetran.lisp index 97a29aea060abc1e81f67c61c052a09ced45da6c..8f9e9fcdf3251297f2f0b2336de61262dd9d3b63 100644 --- a/compiler/typetran.lisp +++ b/compiler/typetran.lisp @@ -7,7 +7,7 @@ ;;; Scott Fahlman (FAHLMAN@CMUC). ;;; ********************************************************************** ;;; -;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.5 1990/08/24 18:30:08 wlott Exp $ +;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.6 1990/09/24 18:10:04 wlott Exp $ ;;; ;;; This file contains stuff that implements the portable IR1 semantics of ;;; type tests. The main thing we do is convert complex type tests into @@ -281,7 +281,7 @@ ;;; *TYPE-PREDICATES* that is a supertype of Type. ;;; (defun find-supertype-predicate (type) - (declare (type ctype ctype)) + (declare (type ctype type)) (let ((res nil) (res-type nil)) (dolist (x *type-predicates*)