/
NEWS
2753 lines (2696 loc) · 152 KB
/
NEWS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
changes in sbcl-0.8.16 relative to sbcl-0.8.15:
* enhancement: saving cores with foreign code loaded is now
supported on x86/NetBSD and sparc/Linux in addition to the previously
supported platforms.
* bug fix: parsing self-recursive alien record types multiple times
no longer causes infinite recursion. (reported by Thomas F. Burdick,
original patch by Helmut Eller for CMUCL)
* bug fix: stack-exhaustion detection works now on NetBSD as well.
(thanks to Richard Kreuter)
* bug fix: defining classes whose accessors are methods on existing
generic functions in other (locked) packages no longer signals
bogus package lock violations. (reported by François-René Rideau)
* bug fix: special variables as DEFMETHOD parameters no longer have
associated bogus type declarations. (reported by David Wragg and
Bruno Haible)
* bug fix: read-write consistency on streams of element-type
(SIGNED-BYTE N) for N > 32. (reported by Bruno Haible for CMUCL)
* bug fix: redefiniton of the only method of a generic function with
no DEFGENERIC no longer emits a full WARNING. In addition,
redefinition of generic functions with no DEFGENERIC to an
incompatible lambda list now signals an error. (thanks to Zach
Beane)
* bug fix: DEFGENERIC now works even when there's a function of the
same name in an enclosing lexical environment. (thanks to Zach
Beane)
* fixed compiler failure, caused by instrumenting code during
IR1-optimization. (Debian bug report #273606 by Gabor Melis)
* optimization: added loop analysis and improved register allocation
* fixed some bugs revealed by Paul Dietz' test suite:
** POSITION on displaced vectors with non-zero displacement
returns the right answer.
** (SIMPLE-STRING) is a valid type specifier for sequence
creators.
** *PRINT-LEVEL* handling for slotless structures is pedantically
correct.
** PPRINT-INDENT accepts a request for an indentation of any REAL.
** PPRINT-TAB (and the FORMAT ~T directive) now indent by the
correct amounts.
** The justification version of the FORMAT ~< directive treats
non-zero minpad parameter correctly.
changes in sbcl-0.8.15 relative to sbcl-0.8.14:
* incompatible change: SB-INT:*BEFORE-SAVE-INITIALIZATIONS* and
SB-INT:*AFTER-SAVE-INITIALIZATIONS* have been renamed
SB-EXT:*SAVE-HOOKS* and SB-EXT:*INIT-HOOKS*, and are now part of
the supported interface.
* new feature: Single-stepping of code compiled with DEBUG 2 or
higher and (> DEBUG (MAX SPACE SPEED)) is now possible.
* new feature: saving cores with foreign code loaded is now
supported on x86/FreeBSD, x86/Linux, and sparc/SunOS. (based on
Timothy Moore's work for CMUCL)
* bug fix: DEFTYPE lambda-list parsing now binds unsupplied keyword
parameters to * instead of NIL if no initform is supplied.
(reported by Johan Bockgaard)
* bug fix: DEFINE-COMPILER-MACRO lambda-list parsing now binds
correctly when FUNCALL appears as the car of the form. Note:
despite this FUNCALL forms are not currently subject to
compiler-macro expansion. (port of Raymond Toy's fix for the
same from CMUCL, reported by Johan Bockgaard)
* bug fix: FOR ... ON ... -clauses in LOOP now work on dotted lists
(thanks for Teemu Kalvas)
* bug fix: in FORMAT ~^ inside ~:{ now correctly steps to the next
case instead of terminating the iteration (thanks for Julian
Squires, Sean Champ and Raymond Toy)
* bug fix: incorrect expansion of defgeneric that caused a style
warning. (thanks for Zach Beane)
* bug fix: slot accessor effective method computation works properly
for classes with multiple non-standard applicable methods on
SB-MOP:SLOT-VALUE-USING-CLASS. (reported by Ralf Mattes)
* on x86 compiler supports stack allocation of results of LIST and
LIST*, bound to variables, declared DYNAMIC-EXTENT. (based on
CMUCL implementation by Gerd Moellmann)
* fixed some bugs revealed by Paul Dietz' test suite:
** FORMAT strings with both the ~<~:;~> form of the justification
directive and pretty-printing directives cause an error.
changes in sbcl-0.8.14 relative to sbcl-0.8.13:
* incompatible change: the internal functions
SB-KERNEL:32BIT-LOGICAL-FOO, intended for providing efficient
logical operations on (UNSIGNED-BYTE 32) values, have been renamed
to SB-KERNEL:WORD-LOGICAL-FOO. Modular arithmetic should be used
instead of the old functions.
* new feature: on platforms where "dladdr" is available foreign
function names now appear in backtraces. (based on Helmut Eller's
work for CMUCL)
* documentation: documentation for SB-BSD-SOCKETS, SB-GRAY,
SB-SIMPLE-STREAMS, and SB-PROFILE have been integrated into the user
manual.
* documentation: ASDF manual is now distributed with SBCL.
* bug fix: SBCL can now load its contributed modules with REQUIRE
even if the system-provided entries have been removed from
ASDF:*CENTRAL-REGISTRY*. Infinite recursion in REQUIRE is also
detected.
* bug fix: backtraces involving undefined functions or assembly
routines are more informative. (thanks to Brian Downing)
* bug fix: mutually referent alien structures now work correctly.
(reported by Rick Taube)
* bug fix: structures defined by WITH-ALIEN can be referred to
within other definitions in the same WITH-ALIEN.
* bug fix: division operators (MOD, TRUNCATE and the like) with
constant zero divisors and integer dividends no longer generate
left shifts.
* bug fix: provide default methods for INPUT-STREAM-P and
OUTPUT-STREAM-P specialized on SB-GRAY:FUNDAMENTAL-STREAM.
* bug fix: improve the detection and resolution of MOP metacycles
(where effective method computation depends on the generic function
having its effective method computed). (reported by Bruno Haible)
* bug fix: pass the right initargs to :BEFORE or :AFTER methods on
SHARED-INITIALIZE or INITIALIZE-INSTANCE in optimized
MAKE-INSTANCE constructors. (reported by Axel Schairer for cmucl)
* bug fix: pathnames with relative directory components can be
represented relative to default pathnames.
* optimization: in taking the GCD of bignums, reduce the two bignums
to approximately the same size (using Euclid's algorithm) before
applying the more sophisticated binary GCD. (thanks to Juho
Snellman)
* optimization: COUNT on bitvectors now operates word-at-a-time.
* optimization: ASH with a positive, but not necessarily constant,
(leftwards) shift, when in a modular context, is compiled to a
hardware shift.
* fixed some bugs revealed by Paul Dietz' test suite:
** FORMAT variable parameters ("~V<char>") are defaulted properly
if the corresponding argument is NIL.
** FORMAT directives accepting a minpad parameter treat negative
values as 0.
** literal commas as character parameters to FORMAT directives are
parsed correctly.
** literal spaces directly after ~<Newline> directives within a
format-logical-block (~:< ~@:>) do not induce :FILL-style
conditional newlines.
** PRINT-UNREADABLE-OBJECT inserts spaces as specified (and only
as specified: it no longer includes conditional newlines).
** PRINC-TO-STRING binds *PRINT-READABLY* to NIL (as well as
*PRINT-ESCAPE*).
** PPRINT-LOGICAL-BLOCK signals a TYPE-ERROR if its :PREFIX or
:PER-LINE-PREFIX argument does not evaluate to a string.
changes in sbcl-0.8.13 relative to sbcl-0.8.12:
* new feature: SB-PACKAGE-LOCKS. See the "Package Locks" section of
the manual for details; for now, package locks can be disabled by
removing :SB-PACKAGE-LOCKS in customize-target-features.lisp, but
if no major problems are found then it is likely that they will be
compiled in unconditionally.
* major incompatible change: LOAD-FOREIGN and LOAD-1-FOREIGN are now
unsupported operators on all platforms. To load a shared library
into SBCL, use SB-ALIEN:LOAD-SHARED-OBJECT. To load a non-shared
object file, link it into a shared library outside of SBCL and
load it using SB-ALIEN:LOAD-SHARED-OBJECT. (incidentally fixes
bug #79)
* bug workaround: ROOM T and the GC were not working together
reliably, because invariants expected by the SB!VM:INSTANCE-USAGE
reporting facility aren't preserved. That reporting has been
disabled, so now until and unless someone figures out how to make it
work reliably with the current GC, (ROOM T) is equivalent to (ROOM).
* minor incompatible change: as threatened around sbcl-0.8.0, the
home package of MOP-related symbols is now SB-MOP, not SB-PCL.
The symbols are also exported from SB-PCL for backwards
compatibility, but more so than before SB-PCL should be treated as
an implementation-internal package.
* fasl format changed: SBCL 0.8.13 fasls are incompatible with those
of earlier versions
* the SB-SPROF contrib now works on (most) non-x86 architectures.
It is known as of this release not to work on the Alpha, however.
* fixed bug #167: errors signalled due to illegal syntax in method
bodies are now more legible.
* fixed bug #338: instances of EQL-SPECIFIER are now valid type
designators and can hence be used with TYPEP.
* fixed bug #333: CHECK-TYPE now ensures that the type error
signalled, if any, has the right object to be accessed by
TYPE-ERROR-DATUM. (reported by Tony Martinez)
* fixed bug #340: SETF of VALUES obeys the specification in ANSI
5.1.2.3 for multiple-value place subforms. (reported by Kalle
Olavi Niemetalo)
* fixed bug #334: programmatic addition of slots using specialized
methods on SB-MOP:COMPUTE-SLOTS works for :ALLOCATION :INSTANCE
and :ALLOCATION :CLASS slots.
* fixed bug #269: SCALE-FLOAT scales floats by any integer, not just
float exponents. (rereported by Peter Seibel)
* fixed a bug: #\Space (and other whitespace characters) are no
longer considered to be macro characters in standard syntax by
GET-MACRO-CHARACTER.
* fixed bug: initialization of condition class metaobjects no longer
causes an instance of the condition to be created. (reported by
Marco Baringer)
* fixed bug: it is now possible to have slots such that
SB-MOP:SLOT-DEFINITION-ALLOCATION of the effective slot
description is neither :INSTANCE nor :CLASS.
* fixed bug: the ctor optimization of MAKE-INSTANCE now respects
user-defined methods on SLOT-BOUNDP-USING-CLASS and (SETF
SLOT-VALUE-USING-CLASS), and no longer causes errors with
non-standard SLOT-DEFINITION-ALLOCATION values.
* fixed bugs: various race conditions handling exiting threads.
CL-PPCRE's thread torture test now passes.
* fixed arguably-a-bug: GC time proportional to number of threads in
system even when most of them are idle
* optimization: improved performance of BIT and SBIT on bit-vectors.
* .fasl file incompatibility: The fasl file version number has
been incremented because of changes associated with package locks.
changes in sbcl-0.8.12 relative to sbcl-0.8.11:
* minor incompatible change: the system no longer provides
optimization hints (conditions which are TYPEP
SB-EXT:COMPILER-NOTE) for conforming code in default compilation
mode; these hints are still emitted when higher SPEED optimization
is requested.
* new contrib module: a sampling profiler (profiling by statistical
sampling, rather than by instrumenting functions) is available as
the SB-SPROF contrib. (thanks to Gerd Moellmann and Juho Snellman)
* the behaviour of the standard function ED is now customizeable by
third parties through a hook variable: see ED's documentation
string for information on the protocol.
* the compiler no longer emits efficiency notes for (FUNCALL X)
when the type of X is uncertain under default optimization
settings.
* fixed bug 276: mutating a binding of a specialized parameter to a
method to something that is not TYPEP the specializer is now
possible.
* fixed bugs 45d and 118: DOUBLE-FLOAT[-NEGATIVE]-EPSILON now
exhibit the required behaviour on the x86 platform. (thanks to
Peter van Eynde, Eric Marsden and Bruno Haible)
* fixed bug 335: ATANH now computes the inverse hyperbolic tangent
even for difficult arguments. (reported by Peter Graves)
* fixed bug 141a: the backquote printer now descends quoted
structure.
* fixed another bug in backquote printing: no more destructive
modification of the form's list structure. (reported by Brian
Downing)
* fixed bug in INTERRUPT-THREAD: pin the function, so that it cannot
move between its address being taken and the call to
interrupt_thread, fixing a crashing race condition.
* the SB-POSIX contrib implementation has been adjusted so that it
no longer exhibits ridiculously poor performance when constructing
instances corresponding to C structs.
changes in sbcl-0.8.11 relative to sbcl-0.8.10:
* minor incompatible change: the sb-grovel contrib now treats C
structures as alien (in the sense of SB-ALIEN) objects rather than
as undistinguished (simple-array (unsigned-byte 8) (*))s. This
has implications for memory management of client code
(sb-grovel-returned objects must now be manually managed) and for
type safety (alien objects now have full types).
* new feature: the SB-EXT:MUFFLE-CONDITIONS declaration should be
used to control emission of compiler diagnostics, rather than the
SB-EXT:INHIBIT-WARNINGS OPTIMIZE quality. See the manual for
documentation on this feature. The SB-EXT:INHIBIT-WARNINGS
quality should be considered deprecated.
* install.sh now installs the user manual as well
* (not quite a new documentable feature, but worth considering in
the light of the new SB-EXT:MUFFLE-CONDITIONS declaration): the
beginnings of a semantically meaningful condition hierarchy is
under development, for use in SB-EXT:MUFFLE-CONDITIONS and by
IDEs.
* fixed bug: PARSE-NAMESTRING now accepts any valid pathaname
designator as the defaults argument.
* fixed bug: Displaced arrays whose displaced-to array has become
too small now cause ARRAY-DIMENSION to signal an error, providing
for safer bounds-checking. (reported by Bruno Haible)
* fixed bug: DEFCLASS slot definitions with identical :READER and
:WRITER names now signal a reasonable error. (reported by Thomas
Burdick)
* fixed bug: CLOSE :ABORT T on appending stream no longer causes
file deletion.
* fixed bug: Invalid slot specification errors now print correctly.
(thanks to Zach Beane)
* fixed bug 320: Shared to local slot value transfers in class
redefinitions now happen corrently from superclasses as
well. (reported by Bruno Haible)
* fixed bug 316: SHIFTF now accepts VALUES forms. (reported by Bruno
Haible)
* fixed bug 322: DEFSTRUCT :TYPE LIST type predicates now handle
improper lists correctly. (reported by Bruno Haible)
* fixed bug 313: source-transform for <fun-name> was erroneously
applied to a call of a value of a variable with name <fun-name>.
(reported by Antonio Menezes Leitao)
* fixed bug 307: The obsolete instance protocol ensures that
subclasses are properly obsoleted. (thanks to Nikodemus Siivola)
* fixed bug 298, revealed by Paul F. Dietz' test suite: SBCL can
remove dead unknown-values globs from the middle of the stack.
* added a new restart to *BREAK-ON-SIGNALS* handling to make it
easier to resume long computations after using *BREAK-ON-SIGNALS*
to diagnose and fix failures. (thanks to Nikodemus Siivola)
* fixed bug reported by PFD in lisppaste #747 (and Bruno Haible from
CLISP test suite): WRITE-TO-STRING is not constant-foldable.
* fixed bugs in COMPLEX type specifier: UPGRADED-COMPLEX-PART-TYPE
is now consistent with (COMPLEX <x>); bugs in treatment of COMPLEX
MEMBER and UNION types have likewise been fixed. (thanks to Bruno
Haible)
* fixed a (fairly theoretical) bug in string printing: if
*PRINT-READABLY* is true, signal PRINT-NOT-READABLE if the string
does not have array-element-type equal to the most general string
type.
* fixed bug: SET-PPRINT-DISPATCH does not immediately resolve
function name. (thanks to Nikodemus Siivola)
* fixed bug: compile-time format string checker failed on
non-closed ~{. (reported by Thomas F Burdick)
* fixed bug: as reported by Kalle Olavi Niemitalo on #lisp IRC,
don't warn on legal loop code involving more than one aggregate
boolean. (thanks to Nikodemus Siivola)
* fixed bug: as reported by Peter Graves on #lisp IRC, passing a NIL
in keyword position to MAKE-PACKAGE was not being reported as
invalid.
* fixed bug: as reported by Juan Ripoll on cmucl-imp,
MULTIPLE-VALUE-BIND should be able to lexically bind lambda list
keywords.
* fixed bugs 280 and 312: the checking for multiple definitions in a
file is less likely to become confused by uses of inline
functions.
* fixed bug: the #S reader macro performs the keyword coercion
specified for slot names. (reported by Kalle Niemitalo)
* fixed bug: lambda lists may contain symbols whose names start with
& but are not lambda-list-keywords; their occurrence triggers a
STYLE-WARNING.
* fixed bug 321: define-method-combination argument lambda lists do
not cause invalid code to be generated when &optional or &aux
variables have default values. (reported by Bruno Haible)
* fixed bug 327: system subclasses of STRUCTURE-OBJECT or CONDITION
have CLOS classes; this appears also to have fixed reported
instability in stack exhaustion detection.
* fixed bug: the CONTROL-ERROR from ABORT, CONTINUE and
MUFFLE-WARNING when no associated restart is present is now
printable.
* optimization: rearranged the expansion of various defining macros
so that each expands into only one top-level form in a
:LOAD-TOPLEVEL context; this appears to decrease fasl sizes by
approximately 10%.
* optimization: used a previously little-used slot in symbols to
cache SXHASH values, yielding a 5-10% compiler speedup. (thanks
to Juho Snellman)
* fixed some bugs revealed by Paul Dietz' test suite:
** MAKE-INSTANCES-OBSOLETE returns the class name when called with
a symbol.
** Fixed an optimization bug related to inheritance of initforms
from local to shared slots.
** FILE-POSITION works as specified on BROADCAST-STREAMs.
** CAST optimizer forgot to flush argument derived type.
** print/read consistency on floats is now orders of magnitude
more likely. (thanks also to Bruno Haible for a similar report
and discussions)
** removed stack cleaning in the cleanup part of UNWIND-PROTECT.
** IMAGPART is specified (infelicitously) to return (* 0 <thing>)
for objects of type REAL. Make it so.
** SXHASH is specified (infelicitously) to respect similarity,
which means that (SXHASH 0.0) must equal (SXHASH -0.0). Make
it so. (thanks to Markus Ziegler)
** on the Alpha, the compiler succeeds in compiling functions
returning a known number of arguments greater than 63.
** fixed handling of invalid NIL arguments in keyword position
in local calls.
** fixed non-pretty printing of arrays with *PRINT-RADIX* being
true.
** provided a readably-printable representation for RANDOM-STATE
objects.
** ensured that pathnames, where they have a namestring, always
print using #P"..." syntax.
changes in sbcl-0.8.10 relative to sbcl-0.8.9:
* Support for the forthcoming 2.0 version of the NetBSD kernel
running on x86 hardware has been added. (thanks to Perry
E. Metzger most immediately, and others for their past work)
* SBCL now runs on OpenBSD 3.4. (Thanks to Scott Parish; 3.4 is the
current release version; SBCL's OpenBSD support had been broken
since about the time of OpenBSD's switch to ELF binary format.)
* [placeholder for DX summary]
** user code with &REST lists declared dynamic-extent, under high
speed or space and low safety and debug optimization policy.
* The manual has been converted to Texinfo format and the debugger
chapter from the cmucl manual has been added.
* A facility has been added to extract documentation strings from
sbcl and store them as Texinfo-formatted snippets for inclusion in
the manual (via Texinfo's @include directive)
* bug fix: compiler emitted division in optimized DEREF. (thanks for
the test case to Dave Roberts)
* bug fix: multidimensional simple arrays loaded from FASLs had fill
pointers. (reported by Sean Ross)
* bug fix: PROFILE output is printed nicely even for large numerical
values. (thanks to Zach Beane)
* bug fix: streams with element-type (SIGNED-BYTE <N>) for <N>
greater than 32 handle EOF correctly.
* bug fix: on X86 an immediate argument of the IMUL instruction is
correctly printed in disassembly. (thanks to Lutz Euler)
* bug fix: class slots in redefined classes preserve their old
values. (thanks to Bruno Haible and Nikodemus Siivola)
* bug fix: compilation of funcalls of CXX+R (e.g. CDDR) now
succeeds. (reported by Marco Baringer)
* fixed some bugs revealed by Paul Dietz' test suite:
** READ-SEQUENCE now works on ECHO-STREAMs.
** RATIONALIZE works more according to its specification. (thanks
to Bruno Haible)
changes in sbcl-0.8.9 relative to sbcl-0.8.8:
* deprecation of old extension: *DEBUG-PRINT-LEVEL* and
*DEBUG-PRINT-LENGTH* are now deprecated in favor of the new, more
general SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST* mechanism. (This
should matter to you only if you rebind the printer control
variables and then find you want different bindings in the
debugger than in the ordinary execution of your program.)
* The runtime build system has been tweaked to support building
(on SPARC/SunOS) using a C compiler which invokes Sun's own
assembler and linker. (thanks to Nikodemus Siivola)
* Unbound, undefined, undeclared variables now trigger full
WARNINGs, not just STYLE-WARNINGs, on the assumption that this is
more often programmer error than deliberate exploitation of undefined
behaviour.
* optimization: the hash algorithm for strings has changed to one
that is less vulnerable to spurious collisions. (thanks to Juho
Snellman)
* optimization: VECTOR-POP, VECTOR-PUSH-EXTEND and REPLACE do less
needless bounds checking. (thanks to Juho Snellman)
* optimization: implemented multiplication as a modular
(UNSIGNED-BYTE 32) operation on the PPC backend.
* fixed some bugs revealed by Paul Dietz' test suite:
** ADJUST-ARRAY now copies the datum in a zero rank array if
required.
** ADJUST-ARRAY no longer adjusts non-adjustable arrays.
** MAKE-STRING-INPUT-STREAM accepts NIL as a value for :END.
** MAKE-STRING-INPUT-STREAM functions correctly for strings with
element-type NIL.
** CLEAR-INPUT accepts NIL and T for its (optional) stream
argument.
** Ratios can now be printed correctly with *PRINT-BASE* bound to
2, 8 or 16.
** ECHO-STREAMs no longer attempt to echo the end of file value to
their output stream on EOF from read.
** CONCATENATED-STREAM-STREAMS discards constituent streams which
have been read to end-of-file.
** CLOSE works as expected on the null CONCATENATED-STREAM, and on
STRING-STREAMS.
** Printing symbols with *PRINT-CASE* :CAPITALIZE respects the
description of determination of which consecutive characters
constitute a word.
** Printing the "Space" character with escaping on now yields "#\\ ",
rather than "#\\Space", as mandated by ANSI 22.1.3.2.
** Reading floating-point numbers with *READ-BASE* set to a number
less than 10 works correctly.
** Reading floating-point numbers with *READ-BASE* set to a number
more than 10 works correctly.
** Printing with *PRINT-READABLY* targets the standard readtable, not
the readtable currently in effect.
changes in sbcl-0.8.8 relative to sbcl-0.8.7:
* minor incompatible change: parsing of namestrings on a physical
(Unix) host has changed; numbers after the final #\. in a
namestring are no longer interpreted as a version field. This is
intented to be largely invisible to the user, except that the
meaning of the namestring "*.*.*" has changed: it now refers to a
pathname with :TYPE :WILD :NAME #<pattern "*.*">. This namestring
should usually be replaced by
(make-pathname :name :wild :type :wild :version :wild)
with the added benefit that this is more likely to be portable.
As a consequence of this change, the :IF-EXISTS :NEW-VERSION
option to OPEN now signals an error if the file being opened
exists; this may have an impact on existing code.
* fixed bug 190: RUN-PROGRAM should now work properly, respecting
signals received, on the PowerPC platforms (both Linux and
Darwin). (thanks to Pierre Mai for pointing out the location of
the error)
* several fixes on OS X: The system now builds and runs cleanly on
Panther (10.3), and works around sigreturn bug (no more SIGFPEs).
(thanks to Brian Mastenbrook)
* bug fix: DECODE-UNIVERSAL-TIME now accepts timezone arguments with
second-resolution: integer multiples of 1/3600 between -24 and 24.
(thanks to Vincent Arkesteijn)
* bug fix: functions =, /=, <, <=, >, >= did not check the argument
type when called with 1 argument; PEEK-CHAR checked type of
PEEK-TYPE only after having read first character from a
stream. (reported by Peter Graves)
* bug fix: the garbage collector now has much better locality
behaviour, and in particular no longer treats all memory as being
exhausted when many small objects point to each other in a deeply
recursive manner.
* bug fix: arrays specialized on (UNSIGNED-BYTE 15) are now
recognized as being TYPEP their class.
* bug fix: the PUSHNEW documentation string has been corrected.
(thanks to Vincent Arkesteijn)
* bug fix: defaulting of the value for the last of an atypically
large number of multiple values being bound was not being
performed correctly on the Alpha or PPC platforms
* optimization: implemented multiplication as a modular
(UNSIGNED-BYTE 32) operation on the x86 backend.
* optimization: SEARCH on simple-base-strings can now be open-coded.
(see also contrib/compiler-extras.lisp for inspiration for
teaching the compiler about the Boyer-Moore algorithm).
* value, returned by MAX (and MIN) called with several EQUALP, but
not EQL, arguments now does not depend on compiler settings.
* fixed some bugs revealed by Paul Dietz' test suite:
** in stack analysis liveness information is propagated from
non-local entry points.
** pathwise CAST removing failed when the CAST node did not start
a block.
** INPUT-STREAM-P, OUTPUT-STREAM-P, STREAM-ELEMENT-TYPE and
OPEN-STREAM-P signal a TYPE-ERROR if their argument is not a
stream.
** LOAD-LOGICAL-PATHNAME-TRANSLATIONS returns NIL if the logical
host is already defined.
** RENAME-FILE works on streams instead of signalling an internal
type error.
** PEEK-CHAR uses the current readtable when determining whether
or not a character is whitespace.
** MERGE-PATHNAMES handles the case when the pathname does not
specify a name while the default-pathname specifies a version.
** Pathnames now stand a better chance of respecting print/read
consistency.
** Attempting to use standardized file system operators with a
pathname with invalid :DIRECTORY components signals a
FILE-ERROR.
** OPEN :DIRECTION :IO no longer fails to work on non-existent
files.
** DIRECTORY on logical pathnames is more correct.
** CLEAR-INPUT, CLEAR-OUTPUT, FINISH-OUTPUT and FORCE-OUTPUT
signal a TYPE-ERROR if their argument is not a stream.
** READ-BYTE and WRITE-BYTE signal a TYPE-ERROR if their stream
designator argument does not designate a stream.
** OPEN-STREAM-P and INPUT-STREAM-P on synonym streams work by
examining the synonym.
** STREAM-ELEMENT-TYPE and FRESH-LINE on broadcast-streams now
work as specified.
** OPEN and WITH-OPEN-STREAM allow opening streams with
element-type larger than ([UN]SIGNED-BYTE 32).
changes in sbcl-0.8.7 relative to sbcl-0.8.6:
* When built with the :SB-FUTEX feature, threaded builds now take
advantage of the "fast userspace mutex" facility in Linux kernel 2.6
for faster/more reliable mutex and condition variable support.
* Incompatible change (but one you probably shouldn't have been using
anyway): the interface and code for arbitrating between multiple
threads in the same user session has been redesigned.
* bug fix: GET-SETF-EXPANSION no longer throws an internal type
error when called without an explicit environment argument.
(thanks to Nikodemus Siivola)
* bug fix: buffered :DIRECTION :IO streams are less likely to become
confused about their position. (thanks to Adam Warner and Gerd
Moellmann)
* bug fix: Pretty printing backquoted forms with unquotations in the
argument list position of various code constructs such as LAMBDA
now works correctly. (reported by Paul Dietz)
* bug fix: Pretty printing unquotations no longer loses all
stream position information.
* optimization: performance of string output streams is now less
poor for multiple small sequence writes.
* optimization: performance of CSUBTYPEP in the presence of complex
expressions involving CONS and NOT many times has been improved.
(reported by Paul Dietz)
* ASDF-INSTALL bug fix: now parses *PROXY* properly. (thanks to
Sean Ross)
* SB-SIMPLE-STREAMS enhancement: simple-streams can now be used as
streams for the REPL, for the debugger, and so on. (thanks to
David Licteblau)
* DEFINE-CODITION is more efficient. (thanks to Brian Mastenbrook)
* fixed some bugs revealed by Paul Dietz' test suite:
** the value of the :REHASH-THRESHOLD argument to MAKE-HASH-TABLE
is ignored if it is too small, rather than propagating through
to cause DIVIDE-BY-ZERO or FLOATING-POINT-OVERFLOW errors.
** extremely complex negations of CONS types were not being
sufficiently canonicalized, leading to inconsistencies in
SUBTYPEP.
** VALUES tranformer lost derived type.
changes in sbcl-0.8.6 relative to sbcl-0.8.5:
* fixed a bootstrapping bug: the build process no longer assumes
that the various BOOLE-related constants have the same value in
host and target lisps. (noted by Paul Dietz' test suite on an
SBCL binary built from CLISP)
* The system can now be dynamically linked on the MIPS platform,
which enables dynamic loading of foreign code from Lisp. (thanks
to Ralf Baechle for discussions on the MIPS ABI)
* The system now records debugging information for its own source
files in a filesystem-position-independent manner, relative to
the "SYS" logical host.
* fixed a compiler bug: MV-LET convertion did not check references
to the "max args" entry point. (reported by Brian Downing)
* tweaked disassembly notes to be less confident about proclaiming
some instruction as an LRA. (thanks to Brian Downing)
* contrib update: SB-ACLREPL is now threadsafe; multiple listeners
now each have their own history, command character, and other
characteristics. (thanks to David Lichteblau)
* fixed some bugs revealed by Paul Dietz' test suite:
** compiler failure in compiling LOGAND expressions including a
constant 0
** Implementation of ASH-MOD32 on X86 and PPC did not work for the
shift greater than 32.
** FLUSH-DEST did not mark blocks for type check regeneration.
** HANDLER-CASE failed to accept declarations in handler clauses
in some circumstances.
changes in sbcl-0.8.5 relative to sbcl-0.8.4:
* New code in contrib/sb-introspect (still probably not entirely
stable yet) provides some support for smart Lisp development
environments like SLIME.
* The conditions signalled for errors occurring when loading .fasl
files have been systematized (inheriting from SB-EXT:INVALID-FASL)
in a way which should help ASDF recover gracefully.
* The REQUIRE/PROVIDE behavior of *MODULE-PROVIDER-FUNCTIONS*
stuff has been cleaned up. If you code contrib/ stuff, this might
affect you, and you can look at contrib/README, contrib/STANDARDS,
and/or the 0.8.4.27 diff to check.
* In full calls the compiler now does not generate checks for declared
argument types for all arguments.
* various threading fixes
** and some experimental patches which didn't make it into
the main tree for this release, but which are shipped in
contrib/experimental-thread.patch as a possible fix for some
failures (deadlock, spinning...) in GC-intensive multithreaded
applications.
* fixed PPC build problem (source code incompatibility of different
library versions): added offsetof() hackery which attempts to divine
where glibc maintainers put uc_mcontext today
* fixed bug 282: compiler does not trust type assertions while passing
arguments to a full call.
* fixed bug 261: compiler allows NIL or "no value" to be accepted for
&OPTIONAL VALUES type parameter.
* fix bug 214: algorithm for noting rejected templates is now more
similar to that of template seletion. (also reported by rydis on
#lisp)
* fixed bug 141b: printing backquoted information readably and prettily
inserts a space where necessary.
* bug fix: obviously wrong type specifiers such as (FIXNUM 1) or
(CHARACTER 10) are now reported as errors, rather than propagated
as unknown types. (reported by piso on #lisp)
* bug fix: the :IF-EXISTS argument to OPEN now behaves correctly
with values NIL and :ERROR. (thanks to Milan Zamazal)
* fixed bug 191c: CLOS now does proper keyword argument checking as
described in CLHS 7.6.5 and 7.6.5.1.
* bug fix: LOOP forms using NIL as a for-as-arithmetic counter no
longer raise an error; further, using a list as a for-as-arithmetic
counter now raises a meaningful error.
* fixed bug 213a: even fairly unreasonable CONS type specifiers are
now understood by sequence creation functions such as MAKE-SEQUENCE
and COERCE.
* fixed bug 46k: READ-BYTE now signals an error when asked to read from
a STRING-INPUT-STREAM.
* compiler enhancement: SIGNUM is now better able to derive the type
of its result.
* type declarations inside WITH-SLOTS are checked. (reported by
salex on #lisp)
* fixed some bugs revealed by Paul Dietz' test suite:
** incorrect optimization of TRUNCATE for a positive first
argument and negative second.
** compiler failure in let-convertion during flushing dead code.
** compiler failure while deriving type of TRUNCATE on an
interval, containing 0.
** ASH of a negative bignum by a negative bignum count now returns
-1, not 0.
** intersection of CONS types now canonicalizes properly, fixing
inconsistencies in SUBTYPEP.
changes in sbcl-0.8.4 relative to sbcl-0.8.3:
* incompatible change: The --disable-debugger command line
option now clobbers the debugger at a more fundamental
level, by redefining #'INVOKE-DEBUGGER instead of by
rebinding *DEBUGGER-HOOK*. The main difference is that BREAK
is specified by ANSI to ignore *DEBUGGER-HOOK* and
INVOKE-DEBUGGER regardless. Under the old system, BREAK would
enter the debugger REPL and then suffer recursive errors
because *DEBUG-IO* is also messed up in --disable-debugger mode;
while under the new system, BREAK in --disable-debugger mode
terminates the system just as an unhandled error would.
* fixed compiler performance when processing loops with a step >1;
* bug fix: DOCUMENTATION now retrieves generic function
documentation. Also, DOCUMENTATION and (SETF DOCUMENTATION)
support has been systematized, and now supports the methods
specified by ANSI, along with a default method and a method for
slot documentation. (reported by Nathan Froyd)
* bug fix: effective methods associated with a generic function are
no longer cached over a change of that generic function's method
combination. (reported by Andreas Fuchs)
* bug fix: RUN-PROGRAM now does not fail if some element in $PATH
names a non-existent directory. (thanks to Andreas Fuchs)
* bug fix: ROUND and TRUNCATE could, under certain circumstances on
the PPC platform, lead to stack corruption; this has been fixed.
(reported by Rainer Joswig)
* bug fix: ASH on an (UNSIGNED-BYTE 32) with a shift of -32 or lower
no longer ever returns 1 instead of 0. (thanks to Lars Brinkhoff)
* fixed bug 285: TRUNCATE on bignum arguments, and indeed bignum
arithmetic in general, is now much more reliable on the PPC
platform.
* bug fix: LOGCOUNT on (UNSIGNED-BYTE 64) objects on the Alpha
platform now returns the right answer.
* optimization: restored some effective method precomputation in
CLOS (turned off by an ANSI fix in sbcl-0.8.3); the amount of
precomputation is now tunable.
* optimization: compiler-internal data structure use has been
reviewed, and changes have been made that should improve the
performance of the compiler by about 20%.
* optimization: performance of FILL (and :INITIAL-ELEMENT) on
simple-base-strings and simple-bit-vectors is improved.
* optimization: the optimization of 32-bit logical and arithmetic
functions introduced in version 0.8.3 on the x86 has been
implemented on the mips, ppc and sparc platforms; an
implementation of the same facility, but for 64-bit arithmetic,
has been added for the alpha.
* microoptimization: the compiler is better able to make use of the
x86 LEA instruction for multiplication by constants.
* bug fix: in some situations compiler did not report usage of
generic arithmetic in (SPEED 3) policy.
* bug 145b fix: compiler used wrong type specifier while converting
MEMBER-types to numeric.
* bug fix: COMPILE-FILE must bind *READTABLE*. (reported by Doug
McNaught)
* bug fix: (SETF AREF) on byte-sized-element arrays with constant
index argument now works properly on the Alpha platform.
* bug fix: floating point exception treatment on the Alpha platform
is improved.
* bug fix: FILE-POSITION works much better on string input and
output streams. (thanks to Nikodemus Siivola)
* bug fix: many threading/garbage collection symptoms sorted.
SB-THREAD:INTERRUPT-THREAD now safe to call on a thread that
might be pseudo-atomic.
* internal change: Stopping for GC is now done with signals not
ptrace. GC is now done in whichever thread wanted it, instead of
in the parent.
* bug fix: GC hooks (missing since 0.8) reinstated, so finalizers
work again.
* bug fix: result form in DO is not contained in the implicit
TAGBODY.
* incompatible change: ICR structure is changed; the value part of
CONTINUATION is now called LVAR; corresponding functions are
renamed (e.g. SB-C::CONTINUATION-TYPE has become SB-C::LVAR-TYPE).
* added type deriver for ISQRT (thanks to Robert E. Brown).
* bug fix: better support for loading from the command line when an
initialization file sets (READTABLE-CASE *READTABLE*). (thanks
to Adam Warner)
* fixed some bugs revealed by Paul Dietz' test suite:
** the RETURN clause in LOOP is now equivalent to DO (RETURN ...).
** ROUND and FROUND now give the right answer when given very
small float arguments.
** (FLOAT X) for X of type DOUBLE-FLOAT now returns X in all
circumstances.
** optimizer for (EXPT X 0) did not work for X not of type FLOAT.
** (GCD 0 <negative-integer>) returned <negative-integer>.
** LCM should return a non-negative integer.
** PARSE-INTEGER returned the index of a terminator instead of the
upper bounding index of a substring in case :JUNK-ALLOWED NIL.
** PARSE-INTEGER returned an incorrect index being applied to a
displaced string.
** LCM with two arguments of 0 returns 0 rather than signalling
DIVISION-BY-ZERO.
** unsigned addition of a 32-bit constant with the high bit set no
longer causes an internal compiler error on the x86.
** LOGBITP accepts a non-negative bignum as its INDEX argument.
** compiler incorrectly derived types of DPB and DEPOSIT-FIELD
with negative last argument.
** byte specifiers with zero size and position no longer cause
an error during type derivation.
** bignum multiplication on the Alpha platform now returns the
right answer.
* porting: The system now builds on SuSE AMD64, although it still
generates a 32-bit binary.
* .fasl file incompatibility: The fasl file version number has
been incremented (because of the changes to internal compiler
data structures referred to above).
changes in sbcl-0.8.3 relative to sbcl-0.8.2:
* SBCL now builds and runs on MacOS X (version 10.2), or perhaps
more accurately, on the Darwin kernel running on PowerPC hardware.
(thanks to Brian Mastenbrook, Pierre Mai and Patrik Nordebo)
* Compiler code deletion notes now signal a condition of type
SB-EXT:CODE-DELETION-NOTE (a subtype of SB-EXT:COMPILER-NOTE) with
an associated MUFFLE-WARNING restart.
* The compiler now performs limited argument count validation of
constant format strings in FORMAT, and where appropriate in ERROR,
CERROR and WARN. (thanks to Gerd Moellmann)
* New ASDF-INSTALL contrib can be used for automatic download and
installation of third-party Lisp code from CCLAN or other sites
via CLiki.
* Threaded builds (:SB-THREAD) now support SB-THREAD:INTERRUPT-THREAD,
which forces another thread to execute a function supplied by the
caller.
* bug 75 fix: WITH-OUTPUT-TO-STRING (and MAKE-STRING-OUTPUT-STREAM)
now accept and act upon their :ELEMENT-TYPE keyword argument.
(reported by Martin Atzmueller, Edi Weitz)
* bug fix: FILE-POSITION now accepts position designators up to
ARRAY-DIMENSION-LIMIT or the extreme of the off_t range, whichever
is the greater. (thanks to Patrik Nordebo)
* bug fix: MAKE-ARRAY ignored :INITIAL-CONTENTS NIL. (reported by
Kalle Olavi Niemitalo)
* bug fix: the CLASS-PROTOTYPE of the GENERIC-FUNCTION class is now
printable. (reported by Eric Marsden)
* bug fix in sb-posix: mmap() now works on systems with a 64-bit
off_t, including Darwin and FreeBSD. (thanks to Andreas Fuchs)
* x86 bug fix in control stack exhaustion checking: now shows backtrace
* bug fix in WITH-TIMEOUT: now the body can have more than one form.
(thanks to Stig Sandoe)
* bug fix in READ-SEQUENCE: READ-SEQUENCE following PEEK-CHAR or
UNREAD-CHAR now correctly includes the unread character in the
target sequence. (thanks to Gerd Moellmann)
* bug fix in threaded builds: the system can now be suspended and
resumed by shell job control with minimal disruption.
* bug fixes in times and timezones >2038AD
* better handling of "where is GNU make?" problem in build scripts
(thanks to Nikodemus Siivola)
* new optimization: inside a named function any reference to a
function with the same name is considered to be a self-reference;
this behaviour is controlled with SB-C::RECOGNIZE-SELF-CALLS
optimization quality.
* new optimization on x86: logical functions and + now have
optimized (UNSIGNED-BYTE 32) versions, which are automatically
used when the result is truncated to 32 bits.
* VALUES declaration is partially enabled.
* fixes in SB-GROVEL (thanks to Andreas Fuchs)
* fixed some bugs revealed by Paul Dietz' test suite:
** The system now obeys the constraint imposed by
UPGRADED-ARRAY-ELEMENT-TYPE that the upgraded array element
types form a lattice under type intersection.
** FFLOOR, FTRUNCATE, FCEILING and FROUND work with integers.
** ASSOC now ignores NIL elements in an alist.
** CEILING now gives the right answer with MOST-NEGATIVE-FIXNUM
and (1+ MOST-POSITIVE-FIXNUM) answers.
** The addition of a method with invalid qualifiers to a generic
function does not cause an error to be signalled immediately;
a warning is signalled, and the error is generated only on
calling the generic function.
* changed .fasl file version number, in part to add type codes for
new array subtypes UNSIGNED-BYTE 7, 15, 29, and 31 mandated by
obscure ANSI requirements
changes in sbcl-0.8.2 relative to sbcl-0.8.1:
* fixed bug 148: failure to inline-expand a local function left
garbage, confusing the compiler.
* fixed bugs 3cd: structure slot readers perform type check if the
slot can have an invalid value (i.e. it is either not initialized
or can be written with a less specific slot writer).
* bug fix: the compiler now traps array references to elements off
the end of an array; previously, the bounds checking in some
circumstances could go off-by-one.
* improved MACHINE-VERSION, especially on Linux (thanks to Lars
Brinkhoff)
* type declarations for array element types now obey the description
on the CLHS page "Declaration TYPE", as per discussions on
sbcl-help around 2003-05-08. This means that a declaration
(TYPE (ARRAY FOO) BAR) means that, within the scope of the
declaration, all references to BAR will be asserted or assumed
(with THE, so dependent on compiler policy) to involve objects of
type FOO. Note that no such declaration is implied in
(MAKE-ARRAY .. :ELEMENT-TYPE 'FOO).
* declared types of functions from the "Conditions"
chapter. (reported by Paul Dietz)
* bug fix: CERROR accepts a function as its first argument.
* bug fix: NTH an NTHCDR accept a bignum as index
arguments. (reported by Adam Warner)
* optimization: character compare routines now optimize comparing
against a constant character. (reported by Gilbert Baumann)
* bug fix: (SETF AREF) on byte-sized-element arrays with constant index
argument now works properly on the MIPS platform.
* fixed compiler failure on (TYPEP x '(NOT (MEMBER 0d0))).
* repeated evaluation of the same DEFSTRUCT, a slot of which is
declared to have a functional type, does not cause an error
anymore.
* fixed bug: sometimes MAKE-INSTANCE did not work with classes with
many :DEFAULT-INITARGS. (reported by Istvan Marko)
* fixed bug: if last continuation of a deleted block has a
destination, this destination should be deleted too. (reported by
ohler on #lisp)
* fixed a bug in the bootstrap process: the host compiler's values
of ARRAY-DIMENSION-LIMIT and ARRAY-TOTAL-SIZE-LIMIT no longer leak
into the newly-built SBCL. (reported by Eric Marsden on #lisp,
test case from Patrik Nordebo)
* improved the ability of the disassembler on the PPC platform to
provide helpful disassembly notes.
* SB-MOP:CLASS-PROTOTYPE on built-in-classes returns an instance of
the class in more cases than previously.
* bug fix: FILE-POSITION now understands :START and :END for
STRING-INPUT-STREAMs. (thanks to Nikodemus Siivola)
* bug fix: (SIGNED-BYTE 8) streams no longer return (UNSIGNED-BYTE
8) data. (thanks to David Lichteblau)
* bug fix: it is possible to add a method to a generic function
without lambda list.
* bug fix: reader failed to signal END-OF-FILE inside an
object representation. (reported by Nikodemus Siivola)
* fixed some bugs revealed by Paul Dietz' test suite:
** LAST and [N]BUTLAST should accept a bignum.
** condition slot accessors are methods.
** (VECTOR NIL) is a subtype of STRING.
changes in sbcl-0.8.1 relative to sbcl-0.8.0:
* minor incompatible change: some nonsensical specialized lambda
lists (used in DEFMETHOD) which were previously ignored now signal
errors.
* minor incompatible change: the system is now aware of the types of
variables in the COMMON-LISP package, and will signal errors for
most violations of these type constraints (where previously they
were silently accepted).
* minor incompatible change: COMPILE-FILE now uses the freedom
afforded (ANSI 3.2.2.3) to use derived function types for
functions defined in the same file. This also permits the system
to warn on static type mismatches and function
redefinition. (Currently it does not work with high DEBUG level.)
* minor incompatible change: VALUES declaration is disabled.
* When issuing notes, the compiler now signals a condition of type
SB-EXT:COMPILER-NOTE, and provides an associated MUFFLE-WARNING
restart for use in user handlers. It is expected that the
COMPILER-NOTE condition will eventually become a condition
supertype to a hierarchy of note types, which will then be
handleable in a similar fashion. However, at the moment, no such
note subtypes yet exist. (SB-INT:SIMPLE-COMPILER-NOTE exists,
but it's an implementation detail, not a classification for the
purpose above.)
* Changes in type checking closed the following bugs:
** type checking of unused values (192b, 194d, 203);
** template selection based on unsafe type assertions (192c, 236);
** type checking in branches (194bc).
* A short form of VALUES type specifier has ANSI meaning (it has
increased the number of situations when SBCL cannot perform type
checking).
* fixed bug in DEFSTRUCT: once again, naming structure slots with
keywords or constants is permissible.
* STREAM-READ-SEQUENCE and STREAM-WRITE-SEQUENCE now have methods
defined on the relevant FUNDAMENTAL-BINARY-{INPUT,OUTPUT}-STREAM
classes. (thanks to Antonio Martinez)
* improved ANSIness in DESCRIBE: The DESCRIBE function no longer
outputs FRESH-LINE or TERPRI, and no longer converts its stream
argument to a pretty-print stream. Instead, it leaves any such
operations to DESCRIBE-OBJECT methods.
* bug fix: APROPOS now respects the EXTERNAL-ONLY flag. (reported
by Teemu Kalvas)
* bug fix: NIL is now a valid destructuring argument in DEFMACRO
lambda lists. (thanks to David Lichteblau)
* bug fix: Defining a generic function with a :METHOD-CLASS being a
subclass of STANDARD-METHOD no longer causes stack exhaustion.
(thanks to Gerd Moellmann)
* fixed bug 246: increased compilation speed of long
MULTIPLE-VALUE-BIND (and likewise of NTH-VALUE with a constant
integer argument)
* a contributed module implementing COMPILER-LET and MACROEXPAND-ALL
has been included.
* DEFCONSTANT now throws a condition of type
SB-EXT:DEFCONSTANT-UNEQL if it is being asked to redefine a
constant to a non-EQL value; CONTINUE and ABORT restarts
respectively change and preserve the value.
* fixed bug 63: The code walker, part of the implementation of CLOS,
is now better at handling symbol macros.
* bug fix: There is no longer an internal implementation type named
CL:LENGTH. (reported by Raymond Toy)
* bug fix: In macro-like defining macros/special operators the
implicit block does not enclose the lambda list.
* fixed bugs 10 and 43: Bare VALUES, AND, OR and MEMBER symbols (not
enclosed in parentheses) are not suitable as type specifiers, and
their use properly signals an error now.
* bug fix: An argument count mismatch for a type specifier in code
being compiled no longer causes an unhandled error at compile
time, but signals a compile-time warning.
* fixed simple vector readable printing
* bug fix: DESCRIBE takes more care over whether the class
precedence list slot of a class is bound before accessing it.
(reported by Markus Krummenacker)
* bug fix: FORMATTER can successfully compile pretty-printer format
strings which use variants of the ~* directive inside.
* bug fix: SEARCH now applies its TEST predicate to the elements of
the arguments in the correct order. (thanks to Wolfhard Buss)
* fixed bug 235b: The compiler uses return types of MAPCAR and friends
in type inference. (thanks to Robert E. Brown)
* bug fix: Reading in symbols with an explicit package name of ""
(e.g. '||::FOO) now works correctly. (reported by Henrik Motakef)
* fixed some bugs revealed by Paul Dietz' test suite:
** NIL is now allowed as a structure slot name.
** Arbitrary numbers, not just REALs, are allowed in certain
circumstances in LOOP for-as-arithmetic clauses.
** Multiple class redefinitions before slot access no longer
causes a type error.
** (SETF FIND-CLASS) now accepts NIL as an argument to remove the
association between the name and a class.
** Generic functions with non-standard method-combination and over
five methods all of which return constants no longer return NIL
after the first few invocations. (thanks to Gerd Moellmann)
** CALL-NEXT-METHOD with no arguments now passes the original
values of the arguments, even in the presence of assignment.
** Functions [N]SUBST*, LAST, NRECONC, [N]SUBLIS may return any
object.
** DISASSEMBLE works with closures and funcallable instances.
** ADD-METHOD now returns the generic function, not the new method.
** FIND-METHOD signals an error if the lengths of the specializers
is incompatible with the generic function, even if the ERRORP
argument is true.
** TYPE-OF returns recognizeable subtypes of all built-in-types of
which its argument is a member.
** DEFCLASS only redefines the class named by its class-name
argument if that name is the proper name of the class;
otherwise, it creates a new class.
** SLOT-UNBOUND now correctly initalizes the CELL-ERROR-NAME slot
of the UNBOUND-SLOT condition to the name of the slot.
** (SETF (AREF bv 0) ...) did not work for bit vectors.
** SLOT-UNBOUND and SLOT-MISSING now have their return values
treated by SLOT-BOUNDP, SLOT-VALUE, (SETF SLOT-VALUE) and
SLOT-MAKUNBOUND in the specified fashion.
changes in sbcl-0.8.0 relative to sbcl-0.8alpha.0
* SBCL now builds using CLISP (version of late April 2003 from CVS) as
cross-compilation host. As a consequence, we can now bootstrap our
way up to SBCL starting with a bare gcc toolchain and human-readable
source code (first the source to CLISP, then the source to SBCL).
* A contributed module containing a partial implementation of the
simple-streams interface has been included. (thanks to Rudi
Schlatte)
* A contributed module implementing the RFC1321 Message Digest
Algorithm, known as MD5, has been included.
* minor incompatible change: The :NEGATIVE-ZERO-IS-NOT-ZERO feature
no longer has any effect, as the code controlled by this feature
has been deleted. (As far as we know, no-one has ever built using
this feature, and its semantics were confused in any case).
* minor incompatible change: As a consequence of making SLOT-EXISTS-P
work on conditions (as required by the ANSI specification),