forked from dmitryvk/sbcl-win32-threads
-
Notifications
You must be signed in to change notification settings - Fork 4
/
NEWS
3076 lines (3014 loc) · 169 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.21 (0.9alpha.1?) relative to sbcl-0.8.20:
* incompatible change: thread support for non-NPTL systems has
been removed - locking is buggy and unreliable. A threaded
SBCL build will now warn at startup and refuse to create
new threads, unless futex support is detected in the kernel
* incompatible change: the top level REPL now has only an ABORT
restart associated with it, not TOPLEVEL and ABORT as it used to.
TOP and TOPLEVEL are now available as debugger commands for
returning to the top level.
* incompatible change: forms evaluated in the REPL now use the
global optimization policy.
* incompatible change: user- and system-initialization files are
no longer processed with LOAD, but by READ and EVAL; hence the
global optimization policy, startup package, readtable, etc,
can be set by them.
* The .fasl file format number has been incremented because of
various incompatible changes.
* internal entry point details and argument counts no longer appear
in backtraces unless explicitly requested by setting
SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS*.
* built-in and standard functions no longer have names like "top
level local call to FOO".
* fixed bug 32: functions defined in non-null lexical environments
now have more legible printed representation
* fixed bug 33: functions defined in non-null lexical environemnts
are now more amenable to inspection by INSPECT.
* workaround for bug 354: XEPs no longer appear in backtraces unless
explicitly requested.
* fixed bug: receiving the signal which results from attempting to
write to mprotect()ed memory (SIGSEGV on Linux and some *BSDs,
SIGBUS on other *BSDs) on architectures where the C stack is also
the Lisp stack (x86 and x86-64) from foreign code no longer leads
to debugger confusion or wild instability. (reported by Cheuksan
Wang)
* fixed bug: COUNT and EQUAL no longer issue compiler efficiency
notes when operating on objects known to be SIMPLE-BIT-VECTORs.
(reported by Lutz Euler)
* fixed bug: (TYPEP X '(MEMBER ...)) no longer returns a list in
compiled code. (reported by Paul Dietz)
* fixed bug 276b: mutating with MULTIPLE-VALUE-SETQ a binding of a
specialized parameter to a method to something that is not TYPEP
the specializer is now possible.
* fixed bug: the MAKE-INSTANCE optimization is now correct in the
face of package deletion.
* fixed bug: LOAD should bind *LOAD-PATHNAME* to the merged
pathname. (reported by David Tolpin on c.l.l)
* contrib improvement: the SB-SIMPLE-STREAMS contrib now defines
STRING-SIMPLE-STREAM and FILE-SIMPLE-STREAM as subclasses of
STRING-STREAM and FILE-STREAM, respectively.
* contrib improvement: SB-INTROSPECT handles more of SLIME's needs
than previously; in addition, its test suite is now run on build.
(thanks to Luke Gorrie)
* a more robust x86-64 disassembler. (thanks to Lutz Euler)
* optimization: added a immediate representation for single-floats
on x86-64
* fixed some bugs revealed by Paul Dietz' test suite:
** MISC.564: defined out-of-line version of %ATAN2 on x86.
** attempting to create a package with a colliding nickname causes
correctable errors to be signalled.
** MISC.572-574: :START1 and :START2 broken for simple-base-strings.
** several x86-64 backend bugs related to sign-extension of immediate
operands.
changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19:
* fixed inspection of specialized arrays. (thanks to Simon Alexander)
* fixed disassembly of SHLD and SHRD on x86. (thanks to David
Lichteblau)
* fixed loading of multiply forward-referenced layouts.
(thanks to Cheuksan Wang)
* fixed bug 7: less verbose COMPILE-FILE output. Additionally, the
output is now directed to *STANDARD-OUTPUT* as specified by ANSI.
(see COMPILE-FILE documentation for details of :PRINT option)
* fixed bugs 19 and 317: fixed-format floating point printing is
more accurate. This also fixes a bug reported by Adam Warner
related to the ~@F format directive.
* fixed bug 371: bignum print/read inconsistency. (thanks to Harald
Hanche-Olsen)
* fixed bug: SET-SYNTAX-FROM-CHAR correctly shallow-copies a
dispatch table if the from-char is a dispatch macro character.
* fixed bug: COUNT and EQUAL on bit vectors with lengths divisible
by the wordsize no longer ignore the last word. (reported by Lutz
Euler)
* fixed bug in type checking of dynamic-extent variables. (reported
by Svein Ove Aas)
* optimization: sequence traversal functions use their freedom to
coerce function designators to functions.
* optimization: code with many calls to CLOS methods specialized on
CLOS classes has had redundant type checks removed.
* optimization: added declarations to speed up operations that access
the internal character database (for example STRING-UPCASE)
* optimization: comparison operations between floats and sufficiently small
fixnums no longer create extra rationals
* fixed some bugs related to Unicode integration:
** portions of multibyte characters at the end of buffers for
character-based file input are correctly transferred to the
start of the buffer at the next read.
** COMPILE-FILE now respects any EXTERNAL-FORMAT argument given,
passing it through to OPEN.
** LOAD on source files likewise passes any EXTERNAL-FORMAT
argument given to internal calls to OPEN.
** the built-in comment readers (introduced by character sequences
";" and "#|") are more forgiving to encoding errors; they will
STYLE-WARN and then attempt to resync the stream at a character
boundary. (thanks to Teemu Kalvas)
* fixed some bugs in the x86-64 port:
** Negative short int return values from c-calls are sign-extended
correctly.
** The stack is aligned to 16-bytes for c-calls, as required by
the ABI. (thanks to Cheuksan Wang)
** The disassembler understands more x86-64. (thanks to Cheuksan Wang)
** The regression tests use SB-ALIEN:INT instead of SB-ALIEN:INTEGER
for enums. (thanks to Vincent Arkesteijn)
** Multiple small optimizations and bugfixes for floating point
operations.
* fixed some bugs revealed by Paul Dietz' test suite:
** Space, Tab, Linefeed, Return and Page have the invalid
secondary constituent character trait.
** SET-SYNTAX-FROM-CHAR correctly copies multiple-escape character
syntax.
** WITH-INPUT-FROM-STRING should only update the index place on
normal termination.
** Pretty-printing backquoted forms when *PRINT-CIRCLE* is true
works more reliably.
** Bit-array operations (BIT-AND and similar) worked incorrectly
with one-dimensional arrays with fill pointers.
** TYPE-OF failed on a complex with an integer realpart and a
RATIO imagpart.
** compiler failure during type inference for the code of form
(IF (EQL X (THE ...)) ...) (MISC.535).
changes in sbcl-0.8.19 relative to sbcl-0.8.18:
* new port: SBCL now works in native 64-bit mode on x86-64/Linux
platform. The port supports 61-bit fixnums, large memory spaces
and reloading shared object files.
* enhancement: saving cores with foreign code loaded is now
supported on ppc/Darwin in addition to the previously supported
platforms.
* enhancement: the statistical profiler now walks deeper into the
call stack for more meaningful call-graphs and accrued time
reports (x86/x86-64 only). It also now reports time spent in
foreign functions.
* enhancement: it is now possible to trace most individual methods
of a generic function in addition to tracing the generic function
itself.
* bug fix: invalid :DEFAULT-INITARGS are detected in compiled calls
to MAKE-INSTANCE.
* bug fix: defaulted initargs are passed to INITIALIZE-INSTANCE and
SHARED-INITIALIZE methods from compiled calls to MAKE-INSTANCE.
* bug fix: COERCE to (COMPLEX FLOAT) of a complex number no longer
produces an error. (thanks to Vincent Arkesteijn)
* bug fix: NAMESTRING on pathnames with :WILD components in their
directories works correctly. (thanks to Artem V. Andreev)
* fixed bug 125: compiler preserves identity of closures. (reported
by Gabe Garza)
* bug fixed: functions with &REST arguments sometimes failed with
"Undefined function" when compiled with (DEBUG 3). (reported by
Robert J. Macomber)
* bug fix: overflow during compiling of setting element of a bit
vector with constant index and value. (reported by Timmy Douglas)
* build fix: fixed the dependence on *LOAD-PATHNAME* and
*COMPILE-FILE-PATHNAME* being absolute pathnames.
* on x86 compiler partially supports stack allocation of dynamic-extent
closures.
* GO and RETURN-FROM do not check the extent of their exit points
when compiled with SAFETY 0.
* fixed some bugs related to Unicode integration:
** encoding and decoding errors are now much more robustly
handled; it should now be possible to recover even from invalid
input or output to the terminal. (thanks to Teemu Kalvas)
** provided a first cut at implementing STRING-TO-OCTETS and
OCTETS-TO-STRING. (thanks to Robert J. Macomber)
** altered the SB-MD5 contributed module slightly, changing the
interface just enough for it to be supportable for builds where
lisp characters are not eight bits.
* fixed some bugs revealed by Paul Dietz' test suite:
** the FORMATTER-generated functions for ~V[ conditionals require
the correct number of arguments.
** READ-FROM-STRING returns the mandated second value when applied
to displaced strings.
** the #\Rubout and #\Backspace characters are treated as invalid
constituent characters by the tokenizer.
changes in sbcl-0.8.18 relative to sbcl-0.8.17:
* new feature: reloading changed shared object files with
LOAD-SHARED-OBJECT now causes the new definitions to take effect.
* new feature: references to foreign variables and functions
can now be compiled and loaded before the corresponding shared
object file is loaded, as long as the foreign definitions are
available at runtime.
* Solaris 10 (aka SunOS 5.10) on the SPARC platform is now
supported. (thanks to Dan Debertin)
* SB-ALIEN enums can now be represented in Lisp by any symbols, not
just keywords. (thanks to Vincent Arkesteijn)
* fixed bug #331: structure-class instances corresponding to
DEFSTRUCT forms are now created eagerly.
* fixed bug #345: backtraces from calls to undefined functions work
on x86 as well. Related bug #61 is now also partially fixed on x86
(backtraces from throws to unknown catch tags.)
* bug fix: lambda-list parsing is now stricter vrt. order and number
of lambda-list keywords.
* bug fix: as specified by AMOP, an error is signalled if a
class-option appears multiple times in a DEFCLASS form. (reported
by Bruno Haible)
* bug fix: RANDOM can be compiled when the compiler derives the type
of its numeric argument as a disjoint set of small integers.
(reported by Paul Dietz)
* bug fix: starting a core saved with shared objects loaded when
those objects are not available no longer causes threaded SBCL to
hang. (reported by Sean Ross)
* bug fix: evaluated FUNCTION no longer bypasses encapsulation (eg.
TRACE).
* bug fix: (SETF MACRO-FUNCTION) now accepts an optional environment
argument, which must always be NIL. (reported by Kalle Niemitalo)
* bug fix: printing 1.0d+23 no longer results in an error.
(reported by Rolf Wester for CMUCL; bug fix from Raymond Toy)
* bug fix: structure slot setters preserve evaluation order. (thanks
to Gabor Melis)
* fixed some bugs related to Unicode integration:
** RUN-PROGRAM can allow its child to take input from a Lisp
stream. (reported by Stefan Scholl)
** ASDF-INSTALL successfully downloads .tar.gz files in all
locales. (reported by Ken Causey)
* fixed some bugs revealed by Paul Dietz' test suite:
** INCF, DECF and REMF evaluate their place form as specified in
CLtS 5.1.3.
** FORMATTER expands ~{ ~} iteration directives with V or #
parameters correctly.
** FORMATTER deals with the ~@[ ~] conditional directive where the
consequent uses no arguments correctly.
** the system has a partial understanding of the (COMPLEX RATIO)
type specifier.
** UPGRADED-COMPLEX-PART-TYPE obeys the lattice upgrading rules
required.
changes in sbcl-0.8.17 relative to sbcl-0.8.16:
* new feature: a build-time option (controlled by the :SB-UNICODE
keyword feature, enabled by default) for building the system with
support for the entire 21-bit character space defined by the
Unicode consortium.
* new feature: the system now has rudimentary external-format
support; the primary user-visible change at this time is that
characters with the high bit set (such as lower-case-e-acute) will
print correctly to a terminal in a UTF-8 environment.
* minor incompatible change: BASE-CHAR no longer names a class;
however, CHARACTER continues to do so, as required by ANSI.
* minor incompatible change: SB-DEBUG:*DEBUG-PRINT-FOO* variables
are no longer supported, and SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*
has been moved to the SB-EXT package (temporarily re-exported from
SB-DEBUG).
* minor incompatible change: SB-C::*COMPILER-ERROR-PRINT-FOO* variables
are no longer supported: use SB-EXT:*COMPILER-PRINT-VARIABLE-ALIST*
instead.
* fixed bug #351: better error-handlind and reporting for malformed
LET and LET* forms.
* fixed bug #350: bignum-printing is now more memory-efficient,
allowing printing of very large bignums, eg. (expt 2 10000000).
(reported by Bruno Haible)
* fixed bug #302: better primitive-type selection for intersection
types.
* fixed bug #308: non-graphic characters now all have names, as
required. (reported by Bruno Haible)
* bug fix: redefining a class with different superclasses now correctly
removes it from the direct-subclasses of its previous superclasses.
(reported by David Morse)
* bug fix: (SETF FIND-CLASS) using a FORWARD-REFERENCED-CLASS as the
new value now works. (reported by Bruno Haible)
* bug fix: correct canonicalization of multiple non-standard slot
options in DEFCLASS as per AMOP 5.4.2. (reported by Bruno Haible)
* bug fix: SB-MOP:CLASS-PROTOTYPE now signals an error if the class
is not yet finalized, as required by AMOP. (reported by Bruno Haible)
* bug fix: SB-MOP:ALLOCATE-INSTANCE method for instances of BUILT-IN-CLASS
now exists, an signals an error.
* bug fix: duplicate LOOP variable bindings now signal PROGRAM-ERROR
during macroexpansion for non-iteration variables as well. (reported
by Bruno Haible for CMUCL)
* bug fix: Cyclic structures and unprintable objects in compiler
messages no longer cause errors. (reported by Bruno Haible)
* bug fix: READ, READ-PRESERVING-WHITESPACE, READ-DELIMITED-LIST,
and READ-FROM-STRING all now return a primary value of NIL if
*READ-SUPPRESS* is true. (reported by Bruno Haible for CMUCL)
* bug fix: Default value of EOF-ERROR-P in READ-FROM-STRING is true.
(reported by Bruno Haible for CMUCL)
* bug fix: ERROR now signals a TYPE-ERROR if the arguments to ERROR
do not designate a condition. (reported by Bruno Haible for
CMUCL)
* bug fix: UNINTERN, USE-PACKAGE, IMPORT and EXPORT all signal an
SB-EXT:NAME-CONFLICT condition (subtype of PACKAGE-ERROR) in the
name conflict situations in CLHS 11.1.1.2.5, and provide a restart
permitting resolution in favour of any of the conflicting symbols.
(reported by Bruno Haible for CMUCL)
* bug fix: EQUAL compiler optimizations is less aggressive on
strings which can potentially compare true despite having distinct
specialized array element types.
* bug fix: unit enumerations can be defined without dividing by
zero. (thanks to Vincent Arkesteijn)
* FORMAT compile-time argument count checking has been enhanced.
(report from Bruno Haible for CMUCL)
* a partial workaround for the bug 262: the compiler does not try to
inline-expand a local function doing RETURN-FROM from a deleted
BLOCK. (thanks to Peter Denno for the bug report and to David
Wragg for the simple test case)
* fixed some bugs revealed by Paul Dietz' test suite:
** RENAME-PACKAGE allows all package designators as new package
names.
** constraint propagation and lambda variable substitution are
more cautious in dealing with partially deleted code.
** compiler sometimes lost reoptimization passes.
** CERROR, given a condition as condition designator, passes its
remaining arguments to the continue format control without
complaint.
** Case-altering FORMAT directives work correctly on non-ASCII
characters.
** The REAL type specifier handles bounds outside the floating
point ranges without signalling FLOATING-POINT-OVERFLOW.
** Functions with IR1-transformations can create intercomponent
references to global functions.
** NIL parameter to the FORMAT directive ~^ means `unsupplied
parameter'.
** FORMAT ~R treats a nil value for its first parameter correctly.
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: on some platforms repeated installations caused multiple
copies of HTML documentation to be installed -- should not happen
any more. (reported by Stefan Scholl)
* 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.