-
Notifications
You must be signed in to change notification settings - Fork 0
/
NEWS
3362 lines (3295 loc) · 185 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
;;;; -*- coding: utf-8; -*-
changes in sbcl-0.9.4 relative to sbcl-0.9.3:
* new port: the Solaris operating system on x86 processors is now
mostly supported, though some rough edges in the environment
remain. (thanks to Daisuke Homma)
* enhancement: SBCL on MIPS platforms now has a much larger dynamic
space for its heap. (thanks to Thiemo Seufer)
* minor incompatible change: eof selects abort in the debugger.
* minor incompatible change: *INVOKE-DEBUGGER-HOOK* is run before
*DEBUGGER-HOOK* => *DEBUGGER-HOOK* is not run when the debugger
is disabled.
* minor incompatible change: SB-KERNEL:INSTANCE-LAMBDA is
deprecated, and will go away in a future revision of SBCL.
* minor incompatible change: GC-ON and GC-OFF are no longer
implemented with a counter, it does not matter how many times gc
is switched on or off
* bug fix: discriminating functions for generic function classes
with non-standard methods for COMPUTE-APPLICABLE-METHODS no longer
make invalid assumptions about method precedence order. (reported
by Bruno Haible)
* bug fix: degree sign (<U00B0>) could not be encoded in KOI8-R.
* bug fix: correct pathname printing with printer escaping is on.
(thanks to Kevin Reid)
* bug fix: complex VOP definitions in "user-space" no longer trigger
package locks. (reported by Zach Beane)
* fixed bug 343: SB-KERNEL:INSTANCE-LAMBDA is no longer necessary
for funcallable-instance functions, and is no different from
regular LAMBDA.
* bug fix: PARSE-INTEGER no longer depends on the whitespaceness of
characters in the current readtable. (reported by Nicholas Neuss)
* bug fix: SUBTYPEP on various CONS types returns more a more
accurate acknowledgment of its certainty.
* optimizations: REMOVE-DUPLICATES now runs in linear time on
lists in some cases. This partially fixes bug 384.
* flush all standard streams before prompting in the REPL and the
debugger.
* bug fix: signal handling and triggering gc do not conflict
directly anymore, in particular a high frequency sb-sprof does
not prevent gc from running
* threads
** bug fix: RELEASE-FOREGROUND doesn't choke on session lock if
there is only one thread in the session
** bug fix: memory leak for streams created in one thread and
written to in another
** bug fix: lockup when compiled with gcc4
** bug fix: race that allows the gc to be triggered when gc is
inhibited
* fixed some bugs revealed by Paul Dietz' test suite:
** CALL-NEXT-METHOD signals an error (in safe code) when the call
has arguments with a different set of applicable methods from
the orignal arguments.
changes in sbcl-0.9.3 relative to sbcl-0.9.2:
* New feature: Experimental support for bivalent streams: streams
opened with :element-type :default now allow character and binary
(unsigned-byte 8) I/O
* Support for the koi8-r external format. (thanks to Ivan Boldyrev)
* Bug fix: OPEN no longer fails when *PRINT-READABLY* is T. (thanks
to Zach Beane)
* bug fix: no more highly sporadic "couldn't check whether ~S is
readable" when reading a stream and an interrupt hits in the middle
of a select system call
* compiler better recognizes complex arrays (reported by Eduardo
Muñoz)
* bug fix: out-of-line SB-SYS:FOREIGN-SYMBOL-ADDRESS did not work
for variables on SBCL built with linkage-tables. (reported by Luis
Oliveira)
* various error reporting improvements.
* optimizations: LOGNOR on fixnums is improved in the MIPS backend.
(Thanks to Thiemo Seufer)
* bug fix: nested reader invokations work correctly
* bug fix: it is possible to have simultaneous references to foreign
code and foreign data with the same name.
* threads
** added x86-64 support
** incompatible change: the threading api now works with thread
objects instead of thread ids
** bug fix: threads are protected from signals and interruption when
starting up or going down
** bug fix: a race where an exiting thread could lose its stack to gc
** bug fix: don't halt on infinite error in threads if possible
** fixed numerous gc deadlocks introduced in the pthread merge
** bug fix: fixed thread safety issues in read and print
** bug fix: debugger doesn't hang on session lock if interrupted at
an inappropriate moment
** bug fix: run-program is now thread safe(r)
** bug fix: inner with-recursive-lock no longer releases the mutex
* fixed a bug in (DECODE-UNIVERSAL-TIME 0) (reported by Paul Dietz)
* fixed some bugs revealed by Paul Dietz' test suite:
** TYPE-ERRORs from signalled by COERCE now have DATUM and
EXPECTED-TYPE slots filled.
** MULTIPLE-VALUE-SETQ always returns the primary value of the
values form.
** MAKE-CONDITION accepts classes as type-designators.
** COMPILE may never return NIL.
** ENCODE-UNIVERSAL-TIME now guards against times out of Unix's
range before calling Unix time functions
changes in sbcl-0.9.2 relative to sbcl-0.9.1:
* numerous signal handling fixes to increase stability
* Support for EUC-JP external format. (thanks to NIIMI Satoshi)
* minor incompatible change: we now correctly canonize default
initargs, making them be a list of (INITARG INITFORM INITFUNCTION)
as per the MOP, rather than the historical (INITARG INITFUNCTION
INITFORM). (reported by Bruno Haible)
* new feature: WITH-COMPILATION-UNIT now accepts a non-standard
:SOURCE-PLIST option. See (DOCUMENTATION #'WITH-COMPILATION-UNIT T)
for more information.
* TRUENAME and PROBE-FILE now correctly resolve symlinks even if the
pathname is a directory pathname.
* SB-SPROF now works (more) reliably on non-GENCGC platforms.
* dynamic space size on PPC has been increased to 768Mb. (thanks to
Cyrus Harmon)
* SB-MOP:ENSURE-CLASS-USING-CLASS now accepts a class as the
:METACLASS argument in addition to a class name. (reported by
Bruno Haible for CMUCL, patch for CMUCL by Gerd Moellmann)
* RESTART-CASE can now be wrapped around CALL-METHOD forms.
(reported by Bruno Haible; patch from Gerd Moellmann)
* bug fix: sbcl runtime can now be compiled with gcc4 (thanks to
Sascha Wilde)
* bug fix: more cleanups to the floating point exception handling on
x86-64 (thanks to James Knight)
* bug fix: the compiler does not try to constant fold calls of
COERCE and BIT-* functions when they return freshly constructed
objects. (reported by Nikodemus Siivola and Paul Dietz)
* optimization: improved the MIPS versions of generic (in the
generic sense) arithmetic routines. (thanks to Thiemo Seufer)
* optimization: direct conversion of (unsigned-byte 32) to floats on
the PowerPC platform.
* optimization: structure instances with raw slots now use less
memory, and probably show better memory locality. (thanks to
David Lichteblau)
* optimization: DYNAMIC-EXTENT declarations for lists and closures
are treated as requests for stack allocation on the x86-64,
Alpha-32, PPC and SPARC platforms.
* contrib improvement: it's harder to cause SOCKET-CLOSE to close()
the wrong file descriptor; implementation of SOCKET-OPEN-P.
(thanks to Tony Martinez)
* threads
** gcing a dead thread can no longer lead to lockups
** threads block signals until they are set up properly
** errno is no longer shared by threads
** interrupt-thread restores the eflags register on x86
** fixed some lockups due to gc/thread interaction
* fixed some bugs revealed by Paul Dietz' test suite:
** invalid dotted lists no longer raise a read error when
*READ-SUPPRESS* is T
** signal an error if a symbol that names a declaration is used
as the name of a type, or vice versa
** allow using the (declare (typespec var*)) abbreviation for
(declare (type typespec var*)) with all type specifiers
** circularity detection works properly with PPRINT-LOGICAL-BLOCK
** always return NIL from PPRINT-POP when OBJECT is NIL
** don't signal errors when pretty-printing malformed LABELS,
FLET or MACROLET forms
** declarations in a DOLIST body are also in scope for the
DOLIST return-form
** COMPILE-FILE accepts all pathname designators as INPUT-FILE
and OUTPUT-FILE
** the ELEMENT-TYPE keyword argument to WITH-OUTPUT-STREAM is
always evaluated
changes in sbcl-0.9.1 relative to sbcl-0.9.0:
* fixed cross-compiler leakages that prevented building a 32-bit
target with a 64-bit host compiler.
* fixed a bug in CLOSE :ABORT T: no longer attempts to remove files
opened with :IF-EXISTS :OVERWRITE.
* fixed bug 281: error for an invalid qualifier in a short-form method
combination method is not signalled until the faulty method is called.
* bug fix: iteration variable type inferrer failed to deal with open
intervals. (reported by Alan Shields)
* bug fix: dynamically loading (via LOAD-SHARED-OBJECT or similar)
"frameworks" on Mac OS X no longer causes an EXC_BAD_ACCESS if two
or more runtime options were provided to the sbcl binary.
* compiled code is not steppable if COMPILATION-SPEED >= DEBUG.
* contrib improvement: implement SB-POSIX:MKSTEMP (Yannick Gingras)
* optimization: there's now a fast-path for fixnum arguments in the
generic subtraction routines on x86/x86-64. (Thanks to Lutz Euler)
* optimization: the code generated on x86-64 is more compact thanks
to not outputting unneccessary prefix bytes. (Thanks to Lutz Euler)
* bug fix: floating-point exception handling now partly works on
x86-64. (Thanks to James Knight)
* improvement to the MIPS backend from Thiemo Seufer: C-style
64-bit long long arguments and return values to alien functions
are now supported.
* fixed some bugs revealed by Paul Dietz' test suite:
** the type-error signalled from WARN has a filled-in DATUM slot.
** the type-error required when a stream is not associated with
a file has the stream as its datum.
** type-errors on single-floats on x86-64 no longer have
:INVALID-OBJECT as the datum
** the type-errors signalled for invalid function names now have
a correct expected type
** (SETF (DOCUMENTATION ... 'STRUCTURE)) no longer signals an error
for structures defined with a :TYPE. Documentation strings for
typed structures are no longer immediately discarded
** FILE-STRING-LENGTH and STREAM-EXTERNAL-FORMAT now work on
broadcast streams and synonym streams. FILE-LENGTH now also works
on broadcast streams.
changes in sbcl-0.9.0 relative to sbcl-0.8.21:
* incompatible change: the --noprogrammer option, deprecated since
version 0.7.5, has been removed. Please use the equivalent
--disable-debugger option instead.
* incompatible change: finalizers and *AFTER-GC-HOOKS* are now run with
interrupts enabled.
* incompatible change: support for *BEFORE-GC-HOOKS* (that have been
inoperational for a while now) has been completely removed.
* null lexical environments are now printed as #<NULL-LEXENV>,
significantly reducing the amount of clutter in typical backtraces.
* documentation on weak pointers, finalization, and after GC hooks
has been added to the manual.
* optimization: REPLACE on declared (UNSIGNED-BYTE 8) vectors, as well
as other specialized array types, is much faster. SUBSEQ and
COPY-SEQ on such arrays have also been sped up.
* optimization: EQL is now more efficient when at least other argument
is known to be of type (OR FIXNUM (NOT NUMBER)).
* fixed bug: the runtime is now less vulnerable to changes in the
size of the SBCL object on OS X, and virtual memory is reserved for
all spaces that need to be at a fixed address.
* fixed bug: finalizers are now thread-safe. (thanks to Gabor Mellis)
* fixed bug: finalizers and after GC hooks that cause consing are now
safe.
* fixed bug: compiler error messages and summaries are now printed to
*ERROR-OUTPUT*, not *STANDARD-OUTPUT*.
* fixed inference of the upper bound of an iteration variable.
(reported by Rajat Datta).
* fixed bug 211e: calling local functions with duplicated constant
keyword argument no longer causes a bogus style warning about an
unused variable.
* fixed bug 305: INLINE/NOTINLINE declaration no longer causes local
ftype declaration to be disregarded. (reported by Dave Roberts)
* fixed bug 373: caused by erronous compilation of references to alien
variables in the runtime on ppc/darwin.
* fixed bug 376: CONJUGATE type deriver.
* fixed infinite looping of ALIEN-FUNCALL, compiled with high DEBUG.
(reported by Baughn on #lisp)
* a cross-compiler bug on non-x86 platforms has been identified and
fixed. (thanks to Bruno Haible)
* improvements to the MIPS runtime code for increased stability.
(thanks to Thiemo Seufer)
* increased the maximimum compact environment size to allow
purify on images with large amounts of functions. (thanks to Cyrus Harmon)
* partial workaround for bug 135: don't name the function we're
calling for hairy cases of EVAL, so as not to accumulate one environment
entry per call to EVAL. (reported by Kevin Reid)
* improvements to the x86-64 disassembler. (thanks to Lutz Euler)
* optimization: type testing for non-vector arrays should be faster.
* fixed TRACE :ENCAPSULATE NIL, added support for :ENCAPSULATE NIL
on x86-64
* bug fix: setting 31st element of a bit vector to zero did not work
on Alpha-32.
* bug fix: redefining a class definition which failed due to a
previous accessor / function clash now works (but see BUGS entry
#380 for more problems in this area). (thanks to Zach Beane)
* the long form of DEFINE-METHOD-COMBINATION disables method group
checking when given a single method group with pattern *. (thanks
to Wendall Marvel)
* on x86 compiler supports stack allocation of results of simple
calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT.
* support for building and running on Mac OS X 10.4 "Tiger" has been added
** Binaries built on Tiger will not run on 10.2 "Jaguar" currently
* fixed some bugs related to Unicode integration:
** the restarts for recovering from input and output encoding
errors only appear when there is in fact such an error to
handle.
* fixed some bugs revealed by Paul Dietz' test suite:
** MISC.549 and similar: late transformation of unsafe type
assertions into derived types caused unexpected code
transformations.
** SCALE-FLOAT type deriver is less wrong.
** type derivers for EXP, LOG and similar functions compute result
types for complex arguments better.
** (MISC.563) CONJUGATE type deriver works for very restricted
complex types.
** out-of-line type testers for character strings are available.
** EQUAL compiler transform understands specialness of objects
of type BIT-VECTOR.
** accessing double-floats stored on the stack now works on x86-64.
** debugger internals could sometimes create invalid lispobjs,
resulting in GC crashes.
** MISC.548: type check weakening can convert required type into
optional.
** initialization forms for bindings are not in scope of free special
declarations.
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