0.pre7.5:
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index a601e15..1a3a1bf 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -739,6 +739,12 @@ changes in sbcl-0.6.13 relative to sbcl-0.6.12:
 * a port to the Compaq/DEC Alpha CPU, thanks to Dan Barlow
 * Martin Atzmueller ported Tim Moore's marvellous CMU CL DISASSEMBLE
   patch, so that DISASSEMBLE output is much nicer.
+* The code in the SB-PROFILE package now seems reasonably stable.
+  I still haven't decided what the final interface should look like
+  (I'd like PROFILE to interact cleanly with TRACE, since both
+  facilities use function encapsulation) but if you have a need
+  for profiling now, you can probably use it successfully with
+  the current CMU-CL-style interface.
 * Pathnames and *DEFAULT-DIRECTORY-DEFAULTS* are much more
   ANSI-compliant, thanks to various fixes and tests from Dan Barlow.
   Also, at Dan Barlow's suggestion, TRUENAME on a dangling symbolic
@@ -775,12 +781,14 @@ changes in sbcl-0.6.13 relative to sbcl-0.6.12:
 * Some math functions have been fixed, and there are new
   optimizers for deriving the types of COERCE and ARRAY-ELEMENT-TYPE,
   thanks to Raymond Toy's work on CMU CL, ported by Martin Atzmueller.
+* (There are also some new optimizers in contrib/*-extras.lisp. Those
+  aren't built into sbcl-0.6.13, but are a sneak preview of what's
+  likely to be built into sbcl-0.7.0.)
 * A bug in COPY-READTABLE was fixed. (Joao Cachopo's patch to CMU
   CL, ported to SBCL by Martin Atzmueller)
 * DESCRIBE now gives more information in some cases. (Pierre Mai's
   patch to CMU CL, ported to SBCL by Martin Atzmueller)
-* The code in the SB-PROFILE package has been substantially 
-  improved, although it's still unstable.
+* Martin Atzmueller and Bill Newman fixed some bugs in INSPECT.
 * There's a new slam.sh hack to shorten the edit/compile/debug
   cycle for low-level changes to SBCL itself, and a new
   :SB-AFTER-XC-CORE target feature to control the generation of
@@ -804,6 +812,18 @@ changes in sbcl-0.6.13 relative to sbcl-0.6.12:
   the byte fasl file version is now equal to the ordinary
   fasl file version.
 
+changes in sbcl-0.7.0 relative to sbcl-0.6.13:
+* There are new compiler optimizations for various functions: FIND,
+  POSITION, FIND-IF, POSITION-IF, FILL, COERCE, TRUNCATE, FLOOR, and
+  CEILING. Mostly these should be transparent, but there's one 
+  potentially-annoying problem (bug 117): when the compiler inline
+  expands the FIND/POSITION family of functions and does type
+  analysis on the result, it can find control paths which have 
+  type mismatches, and when it can't prove that they're not taken,
+  it will issue WARNINGs about the type mismatches. It's not clear
+  how to make the compiler smart enough to fix this in general, but
+  a workaround is given in the entry for 117 in the BUGS file.
+
 planned incompatible changes in 0.7.x:
 * The debugger prompt sequence now goes "5]", "5[2]", "5[3]", etc.
   as you get deeper into recursive calls to the debugger command loop,