0.pre7.14:
[sbcl.git] / tests / clos.test.sh
1 #!/bin/sh
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 # Check that compiling and loading the file $1 generates an error
15 # at load time; also that just loading it directly (into the
16 # interpreter) generates an error.
17 expect_load_error ()
18 {
19     # Test compiling and loading.
20     $SBCL <<EOF
21         (compile-file "$1")
22         ;;; But loading the file should fail.
23         (multiple-value-bind (value0 value1) (ignore-errors (load *))
24             (assert (null value0))
25             (format t "VALUE1=~S (~A)~%" value1 value1)
26             (assert (typep value1 'error)))
27         (sb-ext:quit :unix-status 52)
28 EOF
29     if [ $? != 52 ]; then
30         echo compile-and-load $1 test failed: $?
31         exit 1
32     fi
33
34     # Test loading into the interpreter.
35     $SBCL <<EOF
36         (multiple-value-bind (value0 value1) (ignore-errors (load "$1"))
37             (assert (null value0))
38             (format t "VALUE1=~S (~A)~%" value1 value1)
39             (assert (typep value1 'error)))
40         (sb-ext:quit :unix-status 52)
41 EOF
42     if [ $? != 52 ]; then
43         echo load-into-interpreter $1 test failed: $?
44         exit 1
45     fi
46 }
47
48 tmpfilename="clos-test-$$-tmp.lisp"
49
50 # This should fail, but didn't until sbcl-0.6.12.7, with Martin
51 # Atzmueller's port of Pierre Mai's fixes.
52 cat > $tmpfilename <<EOF
53     (in-package :cl-user)
54     ;; This definition has too many qualifiers, so loading the
55     ;; DEFMETHOD should fail.
56     (defmethod zut progn :around ((x integer)) (print "integer"))
57 EOF
58 expect_load_error $tmpfilename
59
60 # Even before sbcl-0.6.12.7, this would fail as it should. Let's
61 # make sure that it still does.
62 cat > $tmpfilename <<EOF
63     (in-package :cl-user)
64     (defgeneric zut (x) (:method-combination progn))
65     ;; This definition is missing the PROGN qualifier, and so the
66     ;; DEFMETHOD should fail.
67     (defmethod zut ((x integer)) (print "integer"))
68 EOF
69 expect_load_error $tmpfilename
70
71 # Even before sbcl-0.6.12.7, this would fail as it should, but Martin
72 # Atzmueller's port of Pierre Mai's fixes caused it to generate more
73 # correct text in the error message. We can't check that in a regression
74 # test until AI gets a mite stronger, but at least we can check that
75 # the problem is still detected.
76 cat > $tmpfilename <<EOF
77     (in-package :cl-user)
78     (defgeneric zut (x) (:method-combination progn))
79     ;; This definition has too many qualifiers, so loading the
80     ;; DEFMETHOD should fail.
81     (defmethod zut progn :around ((x integer)) (print "integer"))
82 EOF
83 expect_load_error $tmpfilename
84
85 rm $tmpfilename
86
87 # success 
88 exit 104