From: <ma...@at...> - 2000-12-26 18:25:25
|
Hi, I have some remarks concerning the current 'BUGS' file: I think my "big patch" has mode BUG 37 and 37a disappear: (- fix-instance-typep-call patch - fixes Bug no. 37 in 'BUGS') Now the following code (test code below adopted from 'BUGS') compiles without any problems, besides the obvious type-error. I changed the sample code in BUG 37: because the #'common-lisp-user::bad-result-from-assertive-typed-fun is not defined in SBCL. Furthermore, I guess BUG 65 is related to BUG 70. While working on my patches on the file-system, I noticed that ANSI says 'with-output-to-string should have a keyword :element-type, but in current SBCL this is not defined for with-output-to-string! Cheers, Martin -- Homepage: http://www.atzmueller.net/ Email: ma...@at... --- ;;; test code (declaim (optimize (safety 3) (debug 3) (compilation-speed 2) (space 1) (speed 2) #+nil (sb-ext:inhibit-warnings 2))) (declaim (ftype (function * (values)) emptyvalues)) (defun emptyvalues (&rest rest) (declare (ignore rest)) (values)) (defstruct foo x y) (defgeneric assertoid ((x t))) (defmethod assertoid ((x t)) "just a placeholder") (defun bar (ht) (declare (type hash-table ht)) (let ((res (block blockname (progn (prog1 (emptyvalues) (assertoid (hash-table-count ht))))))) (unless (typep res 'foo) (locally (sb-kernel::error 'type-error res))))) #| (bar (make-hash-table)) |# (LOCALLY (DECLARE (OPTIMIZE (SAFETY 3) (SPEED 2) (SPACE 2))) (DECLAIM (FTYPE (FUNCTION (&REST T) (VALUES)) EMPTYVALUES)) (DEFUN EMPTYVALUES (&REST REST) (DECLARE (IGNORE REST)) (VALUES)) (DEFSTRUCT DUMMYSTRUCT X Y) (DEFUN FROB-EMPTYVALUES (X) (LET ((RES (EMPTYVALUES X X X))) (UNLESS (TYPEP RES 'DUMMYSTRUCT) 'EXPECTED-RETURN-VALUE)))) (ASSERT (EQ (FROB-EMPTYVALUES 11) 'EXPECTED-RETURN-VALUE)) |
From: William H. N. <wil...@ai...> - 2000-12-28 22:26:44
|
On Tue, Dec 26, 2000 at 07:27:41PM +0100, ma...@at... wrote: > I have some remarks concerning the current 'BUGS' file: > I think my "big patch" has mode BUG 37 and 37a disappear: > (- fix-instance-typep-call patch - fixes Bug no. 37 in 'BUGS') > > Now the following code (test code below adopted from 'BUGS') > compiles without any problems, besides the > obvious type-error. > I changed the sample code in BUG 37: because the > #'common-lisp-user::bad-result-from-assertive-typed-fun is not > defined in SBCL. OK, I've deleted those entries. > Furthermore, I guess BUG 65 is related to BUG 70. Good point. I made a note of it in the BUGS file. > While working on my patches on the file-system, I noticed that > ANSI says 'with-output-to-string should have a keyword > :element-type, but in current SBCL this is not defined for > with-output-to-string! OK, that gets a new entry. Thank you. -- William Harold Newman <wil...@ai...> software consultant PGP key fingerprint 85 CE 1C BA 79 8D 51 8C B9 25 FB EE E0 C3 E5 7C |