tests: add regression test for #400

This commit is contained in:
Daniel Kochmanski 2017-08-16 22:31:00 +02:00
parent baaab01841
commit ef3b40427d
2 changed files with 13 additions and 0 deletions

1
.gitignore vendored
View file

@ -98,3 +98,4 @@ regressions/eformat-tests/*.txt
/msvc/sb-bsd-sockets.asd
/msvc/sockets.asd
doc/tmp/
/src/tests/aux-compiler.0058-coerce.lsp

View file

@ -1257,3 +1257,15 @@
;; expand-vector-push
(is (setf fun (compile nil '(lambda () (vector-push)))))
(signals program-error (funcall fun))))
;;; Date 2017-08-16
;;;
;;; Description
;;;
;;; `si:coerce-to-vector' (called from cmpopt) had invalid
;;; check-type statements preventing compilation of valid code.
(test cmp.0058.coerce-expand
(finishes (load (with-compiler ("aux-compiler.0058-coerce.lsp")
'(defun flesh-failures ()
(load-time-value
(coerce #(0) '(simple-array (unsigned-byte 8) (1)))))))))