tests/compiler.pure-cload.lisp

   1 ;;;; miscellaneous tests of compiling toplevel forms
   2
   3 ;;;; This software is part of the SBCL system. See the README file for
   4 ;;;; more information.
   5 ;;;;
   6 ;;;; While most of SBCL is derived from the CMU CL system, the test
   7 ;;;; files (like this one) were written from scratch after the fork
   8 ;;;; from CMU CL.
   9 ;;;;
  10 ;;;; This software is in the public domain and is provided with
  11 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
  12 ;;;; more information.
  13
  14 (in-package :cl-user)
  15
  16 ;;; Exercise a compiler bug (by causing a call to ERROR).
  17 ;;;
  18 ;;; This bug was in sbcl-0.6.11.6.
  19 (let ((a 1) (b 1))
  20   (declare (type (mod 1000) a b))
  21   (let ((tmp (= 10 (+ (incf a) (incf a) (incf b) (incf b)))))
  22     (or tmp (error "TMP not true"))))
  23
  24 ;;; Exercise a (byte-)compiler bug by causing a call to ERROR, not
  25 ;;; because the symbol isn't defined as a variable, but because
  26 ;;;  TYPE-ERROR in SB-KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER:
  27 ;;;     0 is not of type (OR FUNCTION SB-KERNEL:FDEFN).
  28 ;;; Correct behavior is to warn at compile time because the symbol
  29 ;;; isn't declared as a variable, but to set its SYMBOL-VALUE anyway.
  30 ;;;
  31 ;;; This bug was in sbcl-0.6.11.13.
  32 (print (setq improperly-declared-var '(1 2)))
  33 (assert (equal (symbol-value 'improperly-declared-var) '(1 2)))
  34 (makunbound 'improperly-declared-var)
  35 ;;; This is a slightly different way of getting the same symptoms out
  36 ;;; of the sbcl-0.6.11.13 byte compiler bug.
  37 (print (setq *print-level* *print-level*))