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