Merge branch 'master' of git://repo.or.cz/sbcl
[sbcl/attila.git] / tests / compiler-2.impure-cload.lisp
blob815a69506b7bd4530dc81d100266b561bbf63f83
1 ;;;; -*- lisp -*-
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.
14 (cl:in-package :cl-user)
16 ;;;; recognize self-calls
17 (declaim (optimize speed))
19 ;;;; These three forms should be equivalent.
21 ;;; This used to be a bug in the handling of null-lexenv vs toplevel
22 ;;; policy: LOCALLY and MACROLET hid the toplevel policy from view.
24 (locally
25 (defun foo (n)
26 (frob 'foo)
27 (if (<= n 0)
29 (foo (1- n)))))
31 (progn
32 (defun bar (n)
33 (frob 'bar)
34 (if (<= n 0)
36 (bar (1- n)))))
38 (macrolet ()
39 (defun quux (n)
40 (frob 'quux)
41 (if (<= n 0)
43 (quux (1- n)))))
45 (defun frob (x)
46 (setf (fdefinition x) (constantly 13)))
48 (defun test ()
49 (list (foo 1) (bar 1) (quux 1)))
51 (assert (equal (test) '(0 0 0)))
52 (assert (equal (test) '(13 13 13))) ; sanity check
54 ;;; Bug in 1.0.2 and 1.0.3, where the XEP was compiled with the wrong
55 ;;; policy. (Test-case derived from code posted by alexander.ekart in
56 ;;; comp.lang.lisp).
58 (locally
59 (declare (optimize (safety 0)))
60 (defun bubblesort (x y)
61 (declare (type (simple-array fixnum (*)) x)
62 (type fixnum y)
63 (optimize (speed 3) (safety 3) (space 0) (debug 0)))
64 (aref x y)))
66 (assert (raises-error? (bubblesort (make-array 10) 9)))