From: Christophe R. <cr...@us...> - 2002-10-06 14:10:42
|
Update of /cvsroot/sbcl/sbcl In directory usw-pr-cvs1:/tmp/cvs-serv28363 Modified Files: BUGS NEWS version.lisp-expr Log Message: 0.7.8.19: Fix bugs 46h and 46i, by ensuring that MAKE-TWO-WAY-STREAM and MAKE-CONCATENATED-STREAM check the types of their arguments. ... also MAKE-ECHO-STREAM, though it's FLUSHABLE rather than UNSAFELY-FLUSHABLE Eliminate two superfluous calls to SPECIFIER-TYPE in numeric type handling code ... will make no practical difference to execution time; sorry... Index: BUGS =================================================================== RCS file: /cvsroot/sbcl/sbcl/BUGS,v retrieving revision 1.201 retrieving revision 1.202 diff -u -d -r1.201 -r1.202 --- BUGS 6 Oct 2002 09:15:50 -0000 1.201 +++ BUGS 6 Oct 2002 14:10:38 -0000 1.202 @@ -255,13 +255,6 @@ type safety errors reported by Peter Van Eynde July 25, 2000: c: (COERCE 'AND 'FUNCTION) returns something related to (MACRO-FUNCTION 'AND), but ANSI says it should raise an error. - h: (MAKE-CONCATENATED-STREAM (MAKE-STRING-OUTPUT-STREAM)) - should signal TYPE-ERROR. - i: MAKE-TWO-WAY-STREAM doesn't check that its arguments can - be used for input and output as needed. It should fail with - TYPE-ERROR when handed e.g. the results of - MAKE-STRING-INPUT-STREAM or MAKE-STRING-OUTPUT-STREAM in - the inappropriate positions, but doesn't. k: READ-BYTE is supposed to signal TYPE-ERROR when its argument is not a binary input stream, but instead cheerfully reads from character streams, e.g. (MAKE-STRING-INPUT-STREAM "abc"). Index: NEWS =================================================================== RCS file: /cvsroot/sbcl/sbcl/NEWS,v retrieving revision 1.169 retrieving revision 1.170 diff -u -d -r1.169 -r1.170 --- NEWS 5 Oct 2002 06:02:17 -0000 1.169 +++ NEWS 6 Oct 2002 14:10:38 -0000 1.170 @@ -1317,6 +1317,8 @@ derived types contradict their declared type. * DEFMACRO is implemented via EVAL-WHEN instead of IR1 translation, so it can be non-toplevel. + * fixed bugs 46h and 46i: TWO-WAY- and CONCATENATED-STREAM creation + functions now check the types of their inputs as required by ANSI. planned incompatible changes in 0.7.x: * When the profiling interface settles down, maybe in 0.7.x, maybe Index: version.lisp-expr =================================================================== RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v retrieving revision 1.570 retrieving revision 1.571 diff -u -d -r1.570 -r1.571 --- version.lisp-expr 6 Oct 2002 09:15:50 -0000 1.570 +++ version.lisp-expr 6 Oct 2002 14:10:38 -0000 1.571 @@ -18,4 +18,4 @@ ;;; internal versions off the main CVS branch, it gets hairier, e.g. ;;; "0.pre7.14.flaky4.13".) -"0.7.8.18" +"0.7.8.19" |