Permalink
Browse files

0.pre7.74:

	merged flaky6 changes back into main branch
  • Loading branch information...
1 parent a939d36 commit 4eb1a6d3ad2b7dcc19ac0ec979a1eb1eb049659a William Harold Newman committed Oct 31, 2001
Showing with 1,652 additions and 1,251 deletions.
  1. +12 −2 BUGS
  2. +34 −40 NEWS
  3. +181 −98 TODO
  4. +6 −3 base-target-features.lisp-expr
  5. +7 −1 make-target-2.sh
  6. +1 −1 make.sh
  7. +4 −3 package-data-list.lisp-expr
  8. +4 −4 src/code/array.lisp
  9. +1 −1 src/code/class.lisp
  10. +34 −10 src/code/cold-error.lisp
  11. +29 −22 src/code/condition.lisp
  12. +3 −3 src/code/cross-float.lisp
  13. +9 −9 src/code/debug-info.lisp
  14. +8 −8 src/code/debug-int.lisp
  15. +4 −5 src/code/debug.lisp
  16. +1 −1 src/code/defbangmacro.lisp
  17. +1 −1 src/code/defbangstruct.lisp
  18. +430 −294 src/code/defstruct.lisp
  19. +1 −1 src/code/describe.lisp
  20. +1 −1 src/code/dyncount.lisp
  21. +5 −15 src/code/early-defstruct-args.lisp-expr
  22. +2 −0 src/code/early-defstructs.lisp
  23. +3 −3 src/code/early-extensions.lisp
  24. +5 −5 src/code/early-type.lisp
  25. +2 −0 src/code/error.lisp
  26. +8 −8 src/code/eval.lisp
  27. +1 −1 src/code/fdefinition.lisp
  28. +1 −1 src/code/filesys.lisp
  29. +9 −11 src/code/hash-table.lisp
  30. +14 −13 src/code/host-alieneval.lisp
  31. +1 −1 src/code/inspect.lisp
  32. +9 −9 src/code/kernel.lisp
  33. +4 −4 src/code/late-format.lisp
  34. +3 −3 src/code/late-type.lisp
  35. +4 −2 src/code/lisp-stream.lisp
  36. +1 −1 src/code/loop.lisp
  37. +1 −1 src/code/ntrace.lisp
  38. +4 −4 src/code/package.lisp
  39. +21 −25 src/code/parse-defmacro-errors.lisp
  40. +4 −4 src/code/parse-defmacro.lisp
  41. +7 −7 src/code/pathname.lisp
  42. +17 −17 src/code/pprint.lisp
  43. +59 −54 src/code/print.lisp
  44. +8 −8 src/code/profile.lisp
  45. +4 −4 src/code/room.lisp
  46. +51 −21 src/code/show.lisp
  47. +2 −2 src/code/signal.lisp
  48. +3 −3 src/code/stream.lisp
  49. +227 −186 src/code/target-defstruct.lisp
  50. +1 −1 src/code/target-misc.lisp
  51. +1 −12 src/code/target-type.lisp
  52. +1 −1 src/code/type-class.lisp
  53. +1 −1 src/code/typedefs.lisp
  54. +22 −1 src/code/typep.lisp
  55. +2 −2 src/code/x86-vm.lisp
  56. +9 −8 src/cold/compile-cold-sbcl.lisp
  57. +4 −4 src/compiler/alpha/system.lisp
  58. +5 −5 src/compiler/array-tran.lisp
  59. +1 −1 src/compiler/assem.lisp
  60. +2 −2 src/compiler/ctype.lisp
  61. +5 −5 src/compiler/disassem.lisp
  62. +3 −3 src/compiler/dump.lisp
  63. +2 −2 src/compiler/dyncount.lisp
  64. +1 −1 src/compiler/fndb.lisp
  65. +3 −3 src/compiler/generic/genesis.lisp
  66. +2 −2 src/compiler/generic/vm-fndb.lisp
  67. +12 −14 src/compiler/globaldb.lisp
  68. +2 −3 src/compiler/ir1report.lisp
  69. +72 −57 src/compiler/ir1tran.lisp
  70. +4 −4 src/compiler/knownfun.lisp
  71. +0 −1 src/compiler/locall.lisp
  72. +4 −4 src/compiler/macros.lisp
  73. +11 −20 src/compiler/main.lisp
  74. +4 −4 src/compiler/meta-vmdef.lisp
  75. +19 −18 src/compiler/node.lisp
  76. +3 −0 src/compiler/proclaim.lisp
  77. +3 −3 src/compiler/target-disassem.lisp
  78. +17 −17 src/compiler/vop.lisp
  79. +4 −4 src/compiler/x86/system.lisp
  80. +2 −2 src/pcl/braid.lisp
  81. +0 −21 src/pcl/cache.lisp
  82. +2 −3 src/pcl/defclass.lisp
  83. +4 −0 src/pcl/early-low.lisp
  84. +63 −19 src/pcl/low.lisp
  85. +49 −23 src/pcl/macros.lisp
  86. +1 −1 src/pcl/slots.lisp
  87. +1 −2 src/pcl/std-class.lisp
  88. +33 −21 src/pcl/walk.lisp
  89. +8 −17 stems-and-flags.lisp-expr
  90. +16 −16 tests/defstruct.impure.lisp
  91. +1 −1 tests/interface.pure.lisp
  92. +1 −1 version.lisp-expr
View
14 BUGS
@@ -1195,8 +1195,18 @@ Error in function C::GET-LAMBDA-TO-COMPILE:
128:
READ-SEQUENCE doesn't work for Gray streams. (reported by Nathan
- Froyd sbcl-devel 2001-10-15)
-
+ Froyd sbcl-devel 2001-10-15) As per subsequent discussion on the
+ list, the Gray streams proposal doesn't mention READ-SEQUENCE and
+ WRITE-SEQUENCE because it predates them, generalizing it to
+ cover them is an obvious extension, ACL does it, and there's a
+ patch for for CMU CL which does it too.
+
+129:
+ insufficient syntax checking in MACROLET:
+ (defun foo (x)
+ (macrolet ((defmacro bar (z) `(+ z z)))
+ (bar x)))
+ shouldn't compile without error (because of the extra DEFMACRO symbol).
KNOWN BUGS RELATED TO THE IR1 INTERPRETER
View
74 NEWS
@@ -869,15 +869,6 @@ changes in sbcl-0.7.0 relative to sbcl-0.6.13:
advantage of the new EVAL-WHEN stuff and to clean them up in
general, and they are now more ANSI-compliant in a number of
ways. Martin Atzmueller is responsible for a lot of this.
-?? Inlining can now be controlled the ANSI way, without
- MAYBE-INLINE, since the idiom
- (DECLAIM (INLINE FOO))
- (DEFUN FOO (..) ..)
- (DECLAIM (NOTINLINE FOO))
- (DEFUN BAR (..) (FOO ..))
- (DEFUN BLETCH (..) (DECLARE (INLINE FOO)) (FOO ..))
- now does what ANSI says it should. The CMU-CL-style
- SB-EXT:MAYBE-INLINE declaration is now deprecated and ignored.
* A bug in LOOP operations on hash tables has been fixed, thanks
to a bug report and patch from Alexey Dejneka.
* PPRINT-LOGICAL-BLOCK now copies the *PRINT-LINES* value on entry
@@ -908,28 +899,40 @@ changes in sbcl-0.7.0 relative to sbcl-0.6.13:
a number of bugs which came into existence in the pre7 branch
(internal to the CVS repository), so that they never showed
up in release versions.
-?? Old operator names in the style DEF-FOO are now deprecated in favor
- of new corresponding names DEFINE-FOO, for consistency with the
- naming convention used in the ANSI standard). This mostly affects
- internal symbols, but a few external symbols like
- SB-ALIEN:DEF-ALIEN-FUNCTION are also affected.
* :SB-CONSTRAIN-FLOAT-TYPE, :SB-PROPAGATE-FLOAT-TYPE, and
:SB-PROPAGATE-FUN-TYPE are no longer considered to be optional
features. Instead, the code that they used to control is always
built into the system.
-?? The value of INTERNAL-TIME-UNITS-PER-SECOND has been increased
- from 100 to 1000.
-* The default value of *BYTES-CONSED-BETWEEN-GCS* has been
- doubled, to 4 million. (If your application spends a lot of time
- GCing and you have a lot of RAM, you might want to experiment with
- increasing it even more.)
+?? minor incompatible change: The debugger prompt sequence now goes
+ "5]", "5[2]", "5[3]", etc. as you get deeper into recursive calls
+ to the debugger command loop, instead of the old "5]", "5]]",
+ "5]]]" sequence. (I was motivated to do this when squabbles between
+ ILISP and SBCL left me very deeply nested in the debugger. In the
+ short term, this change will probably provoke more ILISP/SBCL
+ squabbles, but hopefully it will be an improvement in the long run.)
+?? minor incompatible change: The default output representation for
+ unprintable ASCII characters which, unlike e.g. #\Newline, don't
+ have names defined in the ANSI Common Lisp standard, is now based
+ on their ASCII symbolic names: #\Nul, #\Soh, #\Stx, etc.
+?? Old operator names in the style DEF-FOO are now deprecated in
+ favor of new corresponding names DEFINE-FOO, for consistency with
+ the naming convention used in the ANSI standard (DEFSTRUCT, DEFVAR,
+ DEFINE-CONDITION, DEFINE-MODIFY-MACRO..). This mostly affects
+ internal symbols, but a few external symbols like
+ SB-ALIEN:DEF-ALIEN-FUNCTION are also affected.
* minor incompatible change: DEFINE-ALIEN-FUNCTION (also known by
the old deprecated name DEF-ALIEN-FUNCTION) now does DECLAIM FTYPE
for the defined function, since declaiming return types involving
aliens is (1) annoyingly messy to do by hand and (2) vital
to efficient compilation of code which calls such functions (and
since people writing calls-to-C code aren't likely to be bothered
by implicit assumptions of static typing).
+* The value of INTERNAL-TIME-UNITS-PER-SECOND has been increased
+ from 100 to 1000.
+* The default value of *BYTES-CONSED-BETWEEN-GCS* has been
+ doubled, to 4 million. (If your application spends a lot of time
+ GCing and you have a lot of RAM, you might want to experiment with
+ increasing it even more.)
* The interpreter, EVAL, has been rewritten. Now it calls the
native compiler for the difficult cases, where it used to call
the old specialized IR1 interpreter code.
@@ -943,31 +946,22 @@ changes in sbcl-0.7.0 relative to sbcl-0.6.13:
are more systematic and consistent, converting C macros to inline
functions, systematizing indentation, making symbol packaging
more logical, and so forth
-* The fasl file version number changed again, for about a dozen
- reasons, some of which are apparent above.
+* The fasl file version number changed again, for dozens of reasons,
+ some of which are apparent above.
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,
- instead of the old "5]", "5]]", "5]]]" sequence. (I was motivated
- to do this when squabbles between ILISP and SBCL left me
- very deeply nested in the debugger.)
-* The default output representation for unprintable ASCII characters
- which, unlike e.g. #\Newline, don't have names defined in the
- ANSI Common Lisp standard, may change to their ASCII symbolic
- names: #\Nul, #\Soh, #\Stx, etc.
-* INTERNAL-TIME-UNITS-PER-SECOND might increase, e.g. to 1000.
-* FASL file extensions change to ".fasl", instead of the various
- CPU-dependent values (".x86f", ".axpf", etc.) inherited from CMU CL.
-* MAYBE-INLINE will probably go away at some point, maybe 0.7.x,
- maybe later, in favor of the ANSI-recommended idiom for making
- a function optionally inline.
* When the profiling interface settles down, maybe in 0.7.x, maybe
later, it might impact TRACE. They both encapsulate functions, and
it's not clear yet how e.g. UNPROFILE will interact with TRACE
and UNTRACE. (This shouldn't matter, though, unless you are
using profiling. If you never profile anything, TRACE should
continue to behave as before.)
-* The BYTE-COMPILE &KEY argument for COMPILE-FILE is deprecated,
- since this behavior can be controlled by (DECLAIM (OPTIMIZE (SPEED 0))).
- ("An ounce of orthogonality is worth a pound of features.")
+?? Inlining can now be controlled the ANSI way, without
+ MAYBE-INLINE, since the idiom
+ (DECLAIM (INLINE FOO))
+ (DEFUN FOO (..) ..)
+ (DECLAIM (NOTINLINE FOO))
+ (DEFUN BAR (..) (FOO ..))
+ (DEFUN BLETCH (..) (DECLARE (INLINE FOO)) (FOO ..))
+ now does what ANSI says it should. The CMU-CL-style
+ SB-EXT:MAYBE-INLINE declaration is now deprecated and ignored.
Oops, something went wrong.

0 comments on commit 4eb1a6d

Please sign in to comment.