X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler-1.impure-cload.lisp;h=e0629587aef6c582c0d11de9042c9b28e52f1ad7;hb=3bbbfec26f90bc005c2ff5c8de0ceb0f95f1a52b;hp=2082d0f7b7b9bd10fe01db94fc1c2d2c53a613ec;hpb=3bd7a97d1b11a2b0aee086ef211cae807f3dfc35;p=sbcl.git diff --git a/tests/compiler-1.impure-cload.lisp b/tests/compiler-1.impure-cload.lisp index 2082d0f..e062958 100644 --- a/tests/compiler-1.impure-cload.lisp +++ b/tests/compiler-1.impure-cload.lisp @@ -1,4 +1,4 @@ -;;;; miscellaneous compiler tests with side-effects (e.g. DEFUN +;;;; miscellaneous compiler tests with side effects (e.g. DEFUN ;;;; changing FDEFINITIONs and globaldb stuff) ;;;; This software is part of the SBCL system. See the README file for @@ -43,34 +43,18 @@ (+ i f))) (assert (= (exercise-valuesify 1.25) 2.25)) -;;; Don Geddis reported this test case 25 December 1999 on a CMU CL -;;; mailing list: dumping circular lists caused the compiler to enter -;;; an infinite loop. Douglas Crosher reported a patch 27 Dec 1999. -;;; The patch was tested on SBCL by Martin Atzmueller 2 Nov 2000, and -;;; merged in sbcl-0.6.8.11. -(defun q-dg1999-1 () (dolist (x '#1=("A" "B" . #1#)) x)) -(defun q-dg1999-2 () (dolist (x '#1=("C" "D" . #1#)) x)) -(defun q-dg1999-3 () (dolist (x '#1=("E" "F" . #1#)) x)) -(defun q-dg1999-4 () (dolist (x '#1=("C" "D" . #1#)) x)) -(defun useful-dg1999 (keys) - (declare (type list keys)) - (loop - for c in '#1=("Red" "Blue" . #1#) - for key in keys )) - ;;; An early version (sbcl-0.6.11.33) of code to check FTYPEs from DEFUN ;;; against DECLAIMed FTYPEs blew up when an FTYPE was DECLAIMed ;;; to be pure FUNCTION, because the internal representation of ;;; FUNCTION itself (as opposed to subtypes of FUNCTION, such as -;;; (FUNCTION () T)) is a BUILT-IN-CLASS object, not a FUNCTION-TYPE +;;; (FUNCTION () T)) is a BUILT-IN-CLASS object, not a FUN-TYPE ;;; object. (declaim (ftype function i-am-just-a-function)) (defun i-am-just-a-function (x y) (+ x y 1)) -;;; Stig E SandPHI (where PHI is some phi-like character not -;;; representable in ASCII) reported in cclan-Bugs-431263 that SBCL -;;; couldn't compile this. sbcl-0.6.12.26 died in CIRCULAR-LIST-P with -;;; "The value \"EST\" is not of type LIST." Dan Barlow fixed it. +;;; Stig E Sandoe reported in cclan-Bugs-431263 that SBCL couldn't +;;; compile this. sbcl-0.6.12.26 died in CIRCULAR-LIST-P with "The +;;; value \"EST\" is not of type LIST." Dan Barlow fixed it. (defvar +time-zones+ '((5 "EDT" . "EST") (6 "CDT" . "CST") (7 "MDT" . "MST") (8 "PDT" . "PST") @@ -100,4 +84,26 @@ (assert (eql (bar "this is a test") :string)) (assert (eql (bar (make-hash-table)) :t)) +;;; bug reported by Brian Spilsbury sbcl-devel 2001-09-30, fixed by +;;; Alexey Dejneka patch sbcl-devel 2001-10-02 +(defun pixarray-element-size (pixarray) + (let ((eltype (array-element-type pixarray))) + (cond ((eq eltype 'bit) 1) + ((and (listp eltype) + (eq (first eltype) 'unsigned-byte)) + (second eltype)) + (t + (error "Invalid pixarray: ~S." pixarray))))) +(assert (eql 1 (pixarray-element-size #*110))) + +;;; bug 31 turned out to be a manifestation of non-ANSI array type +;;; handling, fixed by CSR in sbcl-0.7.3.8. +(defun array-element-type-handling (x) + (declare (type (vector cons) x)) + (when (consp (aref x 0)) + (aref x 0))) +(assert (eq (array-element-type-handling + (make-array 3 :element-type t :initial-element 0)) + nil)) + (sb-ext:quit :unix-status 104) ; success