0.7.7.5:
[sbcl.git] / tests / info.impure.lisp
1 ;;;; tests of the INFO/globaldb system
2 ;;;;
3 ;;;; KLUDGE: Unlike most of the system's tests, these are not in the
4 ;;;; problem domain, but in the implementation domain, so modification
5 ;;;; of the system could cause these tests to fail even if the system
6 ;;;; was still a correct implementation of ANSI Common Lisp + SBCL
7 ;;;; extensions. Perhaps such tests should be separate from tests in
8 ;;;; the problem domain. -- WHN 2001-02-11
9
10 ;;;; This software is part of the SBCL system. See the README file for
11 ;;;; more information.
12 ;;;;
13 ;;;; While most of SBCL is derived from the CMU CL system, the test
14 ;;;; files (like this one) were written from scratch after the fork
15 ;;;; from CMU CL.
16 ;;;; 
17 ;;;; This software is in the public domain and is provided with
18 ;;;; absolutely no warranty. See the COPYING and CREDITS files for
19 ;;;; more information.
20
21 (in-package :cl-user)
22
23 (defun foo (a) (list a))
24 (let ((x 1)) (foo x))
25
26 (assert (eq (sb-int:info :function :where-from 'foo)
27             :defined))
28
29 (defun foo (a b) (list a b))
30 (let ((x 1)) (foo x 2))
31
32 (flet ((foo (a b c)
33          (list a b c)))
34   (foo 1 2 3))
35
36 ;;; FIXME: This one is commented out since it doesn't work when
37 ;;; the DEFUN is just LOADed instead of COMPILE-FILEd, and it's
38 ;;; not immediately obvious what's the best way to set up
39 ;;; the COMPILE-FILE test.
40 #|
41 (assert
42   (equal
43    (format nil "~A" (sb-int:info :function :type 'foo))
44    "#<FUN-TYPE (FUNCTION (T T) LIST)>"))
45 |#
46
47 ;;; success
48 (quit :unix-status 104)