[Sbcl-commits] CVS: sbcl/src/compiler array-tran.lisp,1.24,1.25 ltn.lisp,1.19,1.20 srctran.lisp,1.42,1.43

[Christophe R. <cr...@us...>]

Update of /cvsroot/sbcl/sbcl/src/compiler
In directory usw-pr-cvs1:/tmp/cvs-serv6292/src/compiler

Modified Files:
	array-tran.lisp ltn.lisp srctran.lisp 
Log Message:
0.7.2.11:
	Miscellaneous uncontroversial fixes, motivated by compilation
	under CLISP:
	... delete fixed bug 58
	... implement BUG on the host compiler, and use it in genesis.lisp
	... refer to existing variable in give-up-ir1-transform in
		DEFTRANSFORM MAKE-ARRAY
	... change declarations from (SOME-STRUCT VAR) to
		(TYPE SOME-STRUCT VAR)
	... remove quote from CASE clauses
	... conditionalize PSEUDO_ATOMIC_TRAP on #!+sparc for now


Index: array-tran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/array-tran.lisp,v
retrieving revision 1.24
retrieving revision 1.25
diff -C2 -d -r1.24 -r1.25
*** array-tran.lisp	19 Mar 2002 20:17:50 -0000	1.24
--- array-tran.lisp	15 Apr 2002 15:58:24 -0000	1.25
***************
*** 244,248 ****
      (unless saetp
        (give-up-ir1-transform
!        "cannot open-code creation of ~S" spec))
  
      (let* ((initial-element-default (saetp-initial-element-default saetp))
--- 244,248 ----
      (unless saetp
        (give-up-ir1-transform
!        "cannot open-code creation of ~S" result-type-spec))
  
      (let* ((initial-element-default (saetp-initial-element-default saetp))

Index: ltn.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/ltn.lisp,v
retrieving revision 1.19
retrieving revision 1.20
diff -C2 -d -r1.19 -r1.20
*** ltn.lisp	14 Jan 2002 05:05:39 -0000	1.19
--- ltn.lisp	15 Apr 2002 15:58:25 -0000	1.20
***************
*** 271,275 ****
  ;;; use proven type information.
  (defun annotate-fixed-values-continuation (cont ltn-policy types)
!   (declare (continuation cont) (ltn-policy ltn-policy) (list types))
    (unless (ltn-policy-safe-p ltn-policy)
      (flush-type-check cont))
--- 271,275 ----
  ;;; use proven type information.
  (defun annotate-fixed-values-continuation (cont ltn-policy types)
!   (declare (type continuation cont) (type ltn-policy ltn-policy) (list types))
    (unless (ltn-policy-safe-p ltn-policy)
      (flush-type-check cont))

Index: srctran.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/compiler/srctran.lisp,v
retrieving revision 1.42
retrieving revision 1.43
diff -C2 -d -r1.42 -r1.43
*** srctran.lisp	19 Mar 2002 20:17:51 -0000	1.42
--- srctran.lisp	15 Apr 2002 15:58:26 -0000	1.43
***************
*** 356,364 ****
    (declare (type interval x))
    (ecase how
!     ('above
       (interval-high x))
!     ('below
       (interval-low x))
!     ('both
       (and (interval-low x) (interval-high x)))))
  
--- 356,364 ----
    (declare (type interval x))
    (ecase how
!     (above
       (interval-high x))
!     (below
       (interval-low x))
!     (both
       (and (interval-low x) (interval-high x)))))
  
***************
*** 733,739 ****
    (declare (type interval x))
    (case (interval-range-info x)
!     ('+
       (copy-interval x))
!     ('-
       (interval-neg x))
      (t
--- 733,739 ----
    (declare (type interval x))
    (case (interval-range-info x)
!     (+
       (copy-interval x))
!     (-
       (interval-neg x))
      (t