comparison tests/automated/lisp-tests.el @ 5889:bd644055ef44

Correct a bug in #'check-type, non-setf'able PLACEs lisp/ChangeLog addition: 2015-04-11 Aidan Kehoe <kehoea@parhasard.net> * cl-macs.el: * cl-macs.el (check-type): Correct the sense of the type test here when PLACE is not setf'able, something which gave confusing errors with literal fixnums or, e.g., (+ 30 40). tests/ChangeLog addition: 2015-04-11 Aidan Kehoe <kehoea@parhasard.net> * automated/lisp-tests.el: Check for a bug just fixed in cl-macs.el.
author Aidan Kehoe <kehoea@parhasard.net>
date Sat, 11 Apr 2015 18:06:17 +0100
parents c96000075e49
children 053ef01b71a8
comparison
equal deleted inserted replaced
5888:a85efdabe237 5889:bd644055ef44
3794 (Assert (eql ?\x0a (digit-char 10 16 binary-table)) 3794 (Assert (eql ?\x0a (digit-char 10 16 binary-table))
3795 "checking `digit-char' reflects RADIX-TABLE, 10, base 16") 3795 "checking `digit-char' reflects RADIX-TABLE, 10, base 16")
3796 (Assert (eql ?\x09 (digit-char 9 nil binary-table)) 3796 (Assert (eql ?\x09 (digit-char 9 nil binary-table))
3797 "checking `digit-char' reflects RADIX-TABLE, 9, base 10")) 3797 "checking `digit-char' reflects RADIX-TABLE, 9, base 10"))
3798 3798
3799 ;; Check that a bug in #'check-type with non-setfable PLACE (something not
3800 ;; actually specified by Common Lisp) has been fixed.
3801 (Assert (prog1 t (check-type 300 fixnum))
3802 "checking #'check-type OK, fixnum literal PLACE")
3803 (Check-Error wrong-type-argument
3804 (check-type 300 (integer -1 100))
3805 "checking #'check-type errors properly on fixnum literal PLACE")
3806 (Assert (prog1 t (check-type (+ 100 200) fixnum))
3807 "checking #'check-type OK, non-setfable PLACE")
3808 (Check-Error wrong-type-argument
3809 (check-type (+ 600 1000) (integer 0 20))
3810 "checking #'check-type errors properly, non-setfable PLACE")
3811
3799 ;;; end of lisp-tests.el 3812 ;;; end of lisp-tests.el