X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.test.sh;h=87e3026d6901b9e2f1ae33c4f9f6989bf14329de;hb=86d50ba6266c823eedd444c4e1c5a55e9dc7f46a;hp=bac5690481cdc3a2f7ac307a09cddc23cf4b41c1;hpb=840f5a3fa4c9142fd0d63dea8e8b76bce49aaf67;p=sbcl.git

diff --git a/tests/compiler.test.sh b/tests/compiler.test.sh
index bac5690..87e3026 100644
--- a/tests/compiler.test.sh
+++ b/tests/compiler.test.sh
@@ -26,6 +26,14 @@ cat > $tmpfilename <<EOF
 EOF
 expect_failed_compile $tmpfilename
 
+# This should fail, as type inference should show that the call to FOO
+# has a wrong number of args.
+cat > $tmpfilename <<EOF
+    (in-package :cl-user)
+    (defun foo (x) (or x (foo x x)))
+EOF
+expect_failed_compile $tmpfilename
+
 # This should fail, as we define a function multiply in the same file
 # (CLHS 3.2.2.3).
 cat > $tmpfilename <<EOF
@@ -452,6 +460,14 @@ cat > $tmpfilename <<EOF
 (eval-when (:compile-toplevel)
   (error "ERROR within EVAL-WHEN."))
 EOF
-expect_condition_during_compile sb-c:compiler-error $tmpfilename
+expect_condition_during_compile simple-error $tmpfilename
+
+cat > $tmpfilename <<EOF
+(defun slot-name-incf (s)
+  (with-slots (no-such-slot) s
+    (incf no-such-slot)))
+EOF
+expect_clean_cload $tmpfilename
+
 # success
 exit $EXIT_TEST_WIN