-
Notifications
You must be signed in to change notification settings - Fork 0
/
NEWS
7301 lines (7138 loc) · 404 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; fill-column: 78 -*-
changes in sbcl-1.2.3 relative to sbcl-1.2.2:
* enhancement: DOCUMENTATION works on instances of
FUNCALLABLE-STANDARD-CLASS
* enhancement: ASSERT reports arguments of calls to lexical functions in
additional to global functions.
* enhancement: ASDF updated to 3.1.3
* enhancement: UIOP can be loaded without ASDF.
* bug fix: some methods on CHANGE-CLASS did not finalize the new class
before accessing its class-precedence list.
* bug fix: CHANGE-CLASS no longer fails on unbound slots in the source
object.
* bug fix: CHANGE-CLASS signals an appropriate error when the destination
class is a FORWARD-REFERENCED-CLASS.
* bug fix: CHANGE-CLASS no longer signals bogus TYPE-ERRORs for slots for
which initargs have been supplied.
* bug fix: saving cores on ARM was broken since the introduction of GENCGC.
(lp#1349795)
* bug fix: macroexpanding a backquoted expression involving ",."
outside of the compiler failed. (lp#1354623)
changes in sbcl-1.2.2 relative to sbcl-1.2.1:
* incompatible change: the #\` ("backquote") reader macro was reimplemented
to support robust pretty-printing. Reading a form involving #\` produces
an invocation of the QUASIQUOTE ordinary macro which may contain subforms
that are not lists. Code that unportably attempts operations on
un-evaluated forms resulting therefrom, e.g.
(SUBST a b (read-from-string "`(x (,y))"))
might generate incorrect results and/or errors.
* enhancement: support for GNU/kFreeBSD x86.
* enhancement: ATOMIC-INCF and ATOMIC-DECF can operate on (CAR x), (CDR x)
and DEFGLOBAL variables of type fixnum.
* enhancement: arithmetic constant reduction is now performed on defconstant
constants too. (lp#1337069).
* bug fix: certain ftype proclamations containing &optional t &rest t no
longer cause subsequent definitions to signal bogus style-warnings.
* bug fix: #\Bell and #\Bel now read to different characters. (lp#1319452).
* bug fix: CAS SYMBOL-VALUE on locally special variables didn't work.
(lp#1098355)
changes in sbcl-1.2.1 relative to sbcl-1.2.0:
* enhancement: GENCGC is enabled on ARM.
* enhancement: better error reporting for invalid calls to local functions.
* enhancement: support for GNU/kFreeBSD distributions. (lp#1079954, thanks
to Christoph Egger)
* enhancement: experimental support for threads on NetBSD/x86-64. (thanks
to Robert Swindells)
* enhancement: support for DragonFly BSD. (lp#1292845, thanks to Vasily
Postnicov)
* bug fix: TYPE-OF must not return AND/OR/NOT expressions.
(lp#1317308)
* bug fix: accessing NIL arrays stopped producing errors. (lp#1311421)
* bug fix: DISASSEMBLE no longer prints unwanted stuff. (lp#1251861)
* bug fix: compiling SVREF on unknown types no longer produces scary errors.
(lp#1258716)
* bug fix: assorted LOOP fixes and enhancements. (lp#645534, lp#1322923,
lp#700538, lp#613876, lp#695286, lp#798388)
* bug fix: silence compiler notes from the SEARCH transform. (lp#1071310)
* bug fix: array type intersection handles T and unknown element types
correctly. (lp#1258716)
* bug fix: fix a corner case in array type unparsing that would result in
misleading translations from our internal type representation.
* bug fix: array-rank now sees through union and intersection types.
(lp#1310574)
* bug fix: when DECLARE expressions are in the wrong place, be careful not
to attempt to evaluate the subforms. (lp#573747; thanks to Roman
Marynchak)
* bug fix: misplaced and missing declarations in DEFTRANSFORM. (lp#1066451)
* bug fix: FBOUNDP returned NIL for a class of incorrect function names
instead of signaling an error. (lp#1095483)
* bug fix: fix a compile-time AVER in regalloc: lifetime analysis
used to (rarely) introduce duplicate conflict markers in a single
TN/block pair. (lp#1327008)
changes in sbcl-1.2.0 relative to sbcl-1.1.18:
* bug fix: read-time-eval backquote context mixup. (lp#1321047)
* enhancement: when SAVE-LISP-AND-DIE fails due multiple threads, the
report of the signaled conditions lists currently running threads.
* enhancement: ported to ARM linux.
* enhancement: sb-gmp contrib has been updated. (lp#1305266)
* enhancement: new contrib sb-mpfr by Stephan Frank.
* bug fix: MAKE-SEQUENCE works with sequence types defined via DEFTYPE
(lp#1315846, thanks to Mark Cox)
* bug fix: SET-[DISPATCH-]MACRO-CHARACTER should coerce a symbolic
function-designator to a function only as needed. (lp#1012335)
* bug fix: remove references to asdf-install from the manual. (lp#1207544,
thanks to Thomas Hlavaty)
* bug fix: handle --without-xxx options to make.sh more carefully.
(lp#1246665, thanks to Richard M Kreuter)
* bug fix: prevent maybe-delete-exit from doing semantically broken things
with local exits. (lp#309099, lp#518099, lp#533930)
* bug fix: attempts to subclass BUILT-IN-CLASSes signal errors, as required
by AMOP. (lp#861004)
changes in sbcl-1.1.18 relative to sbcl-1.1.17:
* optimization: COERCE is now more effecient for more cases when the type is
known at compile-time.
(lp#1309815)
* bug fix: correctly inherit condition initforms. (lp#1300904)
* bug fix: properly pprint literal functions inside nested lists.
(lp#1300716)
* bug fix: more-correctly handle array-type unity (broken for ages, causing
compilation problems since 1.1.13.x due to smarter TYPEP type propagation,
reported by jasom in #lisp).
changes in sbcl-1.1.17 relative to sbcl-1.1.16:
* enhancement: printing backtraces respects
SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST* when printing call arguments
(lp#1261646)
* optimization: defstruct out-of-line accessor are now as fast as inlined.
(lp#1264924)
* bug fix: INVOKE-RESTART-INTERACTIVELY no longer refuses to invoke RESTART
instances with a test-function (reported by Vivitron in #sbcl)
* bug fix: STREAM-ERROR-POSITION-INFO fails in fewer situations (lp#1264902)
* bug fix: Change COND error message (lp#1254511)
* bug fix: LOAD is no longer confused when called on a directory.
(lp#1077996)
* bug fix: MAKE-CONDITION reports names of missing condition classes
properly (lp#1199223)
* bug fix: restore building with clang. (lp#1293643)
* bug fix: restore building on SPARC (broken since 1.1.15).
* bug fix: improved FreeBSD support.
* bug fix: PPC floating point conversion corrupted stack.
changes in sbcl-1.1.16 relative to sbcl-1.1.15:
* minor incompatible change: improve read/print consistency for pathnames on
Win32, by using the circumflex character #\^ as the escape character.
(lp#673625)
* enhancement: SB-EXT:DEFINE-LOAD-TIME-GLOBAL. (lp#1253688)
* enhancement: Loading fasls with symbols from an undefined package includes
the name of the symbol in the error message.
* bug fix: problems when redefining classes and doing TYPEP on classes
concurrently. (lp#1272742)
* bug fixes to the x86-64 XCHG instruction:
** it was misencoded when used with RAX, R8-R15 registers. (reported by
Eric Marsden)
** it was misencoded when used to exchange EAX with itself.
** the disassembler wrongly printed XCHG RAX, R8 and the corresponding
32- and 16-bit variations as NOP.
* bug fix: the disassembler outputs source annotations in the right place
and no longer randomly drops some of them. (lp#1249205)
* bug fix: fix commutative-arg-swap from introducing undumpable structures
into code, prevent code with errors from being compiled. (lp#1276282)
* bug fix: pathnames with :back in their directory component are succeffully
resolved.
* bug fix: the deterministic profiler now uses ENCAPSULATE functionality to
wrap functions around. (lp#309086)
changes in sbcl-1.1.15 relative to sbcl-1.1.14:
* new feature: the iterative spilling/coloring register allocator developed
by Alexandra Barchunova during Google Summer of Code 2013 is now merged
in. By default, it only activates for functions that optimize with
(speed 3) and (> speed compilation-speed), but setting
sb-regalloc:*register-allocation-method* to :iterative forces its
execution. The previous behaviour can be obtained by instead setting that
variable to :greedy. Thanks again to Google for their support, and, more
crucially, to Alexandra Barchunova for her hard work.
* optimization: make-array with known element-type and unknown dimensions is
much faster.
* optimization: make-array with unknown element-type is faster as well.
(lp#1004501)
* enhancement: sb-ext:save-lisp-and-die on Windows now accepts
:application-type argument, which can be :console or :gui. :gui allows
having GUI applications without an automatically appearing console window.
* enhancement: reduced conservativism on GENCGC platforms:
conservative roots must be valid-looking tagged pointers or point
within a code object, not merely point to within the allocated part
of a page, in order to pin a page.
* enhancement: support for "Mac Roman" external format.
* enhancement: encapsulation of named generic functions now happens without
altering the identity of the function bound to the name.
* bug fix: Windows applications without the console window no longer misbehave.
(patch by Wilfredo Velazquez, lp#1256034).
* bug fix: modular arithmetic optimizations do not stumble on dead branches
with bad constants. (reported by Douglas Katzman)
* bug fix: CLISP can be used again as a cross-compilation host.
(Thanks to Vasily Postnicov, lp#1261451)
* bug fix: run-program crashed with :directory nil. (lp#1265077)
changes in sbcl-1.1.14 relative to sbcl-1.1.13:
* optimization: complicated TYPEP tests are less opaque to the type
propagation pass. (lp#1229340)
* optimization: [N]BUTLAST perform a single pass over the list. (lp#1245697)
* optimization: EQUALP on structures with raw slots (double-float/complex)
no longer conses and is faster.
* optimization: RESTART-CASE expands to more compact code.
Thanks to Jan Moringen. (lp#1249055)
* enhancement: Top-level defmethod without defgeneric no longer causes
undefined-function warnings in subsequent forms. (lp#503095)
* enhancement: Better error messages for system errors on Windows.
* enhancement: run-sbcl.sh is usefully handled by rlwrap. Thanks to William
Cushing. (lp#1249183)
* enhancement: new function SB-EXT:ASSERT-VERSION->= accepts a version
specification (multiple integer arguments) and signals a continuable error
if the current SBCL version is lower (older) than the specification.
(lp#674372)
* enhancement: better ARRAY-RANK result derivation. (lp#1252108)
* bug fix: EQUALP now compares correctly structures with raw slots larger
than a single word.
* bug fix: contribs couldn't be built on Windows with MinGW.
* bug fix: Better pathname handling on Windows. (lp#922117)
* bug fix: OPEN reports a more meaningful error when an existing file is
opened for output with :if-exists :new-version. Thanks to Philip
Munksgaard. (lp#455381)
* bug fix: DEFSTRUCTs with NIL as a slot name no longer cause strange
CLOS-related errors. (lp#633911)
* bug fix: GC deadlocks caused by concurrent consing on Windows.
changes in sbcl-1.1.13 relative to sbcl-1.1.12:
* optimization: better distribution of SXHASH over small conses of related
values. (lp#309443)
* other improvements to SXHASH:
** use the whole of the positive-fixnum range for SXHASH of fixnums
* enhancement: The error message when calling an undefined alien function
includes the name of the function on x86-64.
* enhancement: sb-ext:run-program now supports :environment on Windows.
* enhancement: ASDF is no longer required to load contribs at runtime.
(lp#1132254)
* enhancement: when called with a symbol, FIND-RESTART no longer calls
COMPUTE-RESTARTS, making it faster and cons less (lp#769615)
* enhancement: FIND-RESTART and COMPUTE-RESTARTS handle huge restart
clusters better in some cases
* enhancement: SOME/ANY/other quantification higher-order functions no
longer cons. (lp#1070635)
* bug fix: forward references to classes in fasls can now be loaded.
(lp#746132)
* bug fix: don't warn on a interpreted->compiled function redefinition
from the same location. (patch by Douglas Katzman, lp#1042405)
* bug fix: Create vectors of proper internal length when reading literal
vectors from FASLs. (Reported by Jan Moringen)
* bug fix: COMPILE can now successfully compile setf functions.
(Reported by Douglas Katzman)
* bug fix: run-program performs more correct escaping of arguments on
Windows. (lp#1239242)
* bug fix: function-lambda-expression on generic functions returns the
actual name.
* bug fix: (the [type] [constant]) now warns when [constant] matches
[type] except for the number of values. (Reported by Nathan Trapuzzano
on sbcl-help)
* bug fix: signal errors in required cases of slot-definition initialization
protocol. (lp#309072)
* bug fix: run-sbcl.sh works better in the presence of symlinks on OS X.
(thanks to Stelian Ionescu, lp#1242643)
* bug fix: when given a restart object, FIND-RESTART checks whether the
restart is active and, when a condition is supplied, whether the restart
is associated to a different condition (lp#774410)
changes in sbcl-1.1.12 relative to sbcl-1.1.11:
* enhancement: Add sb-bsd-sockets:socket-shutdown, for calling
shutdown(3). (thanks to Jan Moringen, lp#1207483)
* enhancement: document extensible sequences. (thanks to Jan Moringen,
lp#994528)
* optimization: EQUAL and EQUALP transforms are smarter.
(thanks to Elias Martenson, lp#1220084)
* optimization: CHAR-EQUAL is faster for constant and base-char arguments.
* bug fix: probe-file now can access symlinks to pipes and sockets in
/proc/pid/fd on Linux. (reported by Eric Schulte)
* bug fix: SBCL can now be built on Solaris x86-64.
* bug fix: Floating point exceptions do not persist on Solaris anymore.
* bug fix: (setf . a) is pprinted correctly (reported by Douglas Katzman).
* bug fix: handle compiler-error in LOAD when it's not run from inside EVAL.
(lp#1219601)
* bug fix: SB-GMP:MPZ-POW no longer segfaults given a non-bignum base.
(thanks to Stephan Frank)
* bug fix: space allocation of result bignums in SB-GMP is more accurate.
(thanks to Stephan Frank, lp#1206191)
* bug fix: sb-safepoint can now reliably handle signal interruptions of
foreign code. (lp#1133018)
* bug fix: the compiler-macro for MAKE-INSTANCE when emitting "fallback"
constructors no longer fails to merge actual and default initargs
(thanks to Jan Moringen, lp#1179858)
* bug fix: the compiler-macro for MAKE-INSTANCE when emitting "fallback"
constructors handles non-KEYWORD initialization arguments more correctly.
* bug fix: loading the SB-SIMPLE-STREAMS contributed module no longer
clobbers FILE-NAMESTRING. (thanks to Anton Kovalenko, lp#884603)
* bug fix: class definitions with CPLs inconsistent with their metaclasses
are less likely to destroy the object system's integrity. (lp#309076)
* bug fix: restart clause parsing in RESTART-CASE is more in line with the
standard. (lp#1203585, thanks to Jan Moringen)
* bug fix: silence a note from RESTART-CASE under high-SPEED optimization
settings. (lp#1023721)
* bug fix: getting the order of arguments to
SB-MOP:SET-FUNCALLABLE-INSTANCE-FUNCTION wrong produces a sensible error
rather than a failed AVER. (reported by Paul Nathan)
* bug fix: Parsing of &optional/&key/&rest arguments now never overwrites
arguments during copying on x86 and x86-64; it may still happen on other
platforms when there are more fixed arguments than stack slots.
(reported by Jan Moringen)
changes in sbcl-1.1.11 relative to sbcl-1.1.10:
* enhancement: support building the manual under texinfo version 5.
(lp#1189146)
* enhancement: Windows builds no longer display the "Kitten of Death" message.
A warning is instead appended to the regular banner, and may be muted with
--noinform. (lp#728247)
* enhancement: support building under new linker handling of syscalls under
NetBSD. (thanks to Robert Swindells)
* bug fix: undefined function errors are now properly reported on PPC and MIPS.
(regression since 1.1.9)
* bug fix: (funcall (function X junk)) didn't causes an error when X had a
compiler macro. (thanks to Douglas Katzman).
* bug fix: signal a warning when defining a setf-function when a
setf-expander is already present. (thanks to Douglas Katzman).
* bug fix: improved threading on PPC.
* bug fix: ROOM works again on Windows. (lp#1206456)
* bug fix: Streams were flushed even when there was one byte still left in
the buffer. (lp#910213)
* bug fix: OPEN handles correctly when :if-exists and :if-does-not-exist are
either NIL or :ERROR. (reported by Jan Moringen)
changes in sbcl-1.1.10 relative to sbcl-1.1.9:
* enhancement: ASDF has been updated to 3.0.2.
* optimization: stack frames are packed more efficiently on x86oids, which
ought to reduce the frequency of Methuselahn conservative references (it
certainly helps with gc.impure.lisp / BUG-936304 on x86).
* optimization: on x86 and x86-64, integer negation forms like (- x) are now
recognized in modular arithmetic contexts, and compile to native negate,
rather than going through bignums only to keep the low bits.
* bug fix: Compiling potential modularic arithmetic forms does not cause type
errors when some integer types lack lower or upper bounds. (lp#1199127)
* bug fix: Non-trivial modular arithmetic forms are always cut to the right
bitwidth before being used in a non-modular context. (lp#1199428)
* bug fix: Multiple catch/unwind blocks in a single function are now
allocated in the right stack order on win32. (lp#1072739)
changes in sbcl-1.1.9 relative to sbcl-1.1.8:
* new feature: the contrib SB-GMP links with libgmp at runtime to speed
up arithmetic on bignums and ratios. (contributed by Stephan Frank)
* enhancement: disassemble now annotates some previously missing static
functions, like LENGTH.
* enhancement: clean.sh now also cleans doc/internals.
* enhancement: SB-EXT:PRINT-SYMBOL-WITH-PREFIX can be used within ~// to
print a symbol with a package prefix.
* enhancement: The debugger and backtracing are more robust against buggy
PRINT-OBJECT methods.
* optimization: calls to static functions on x86-64 use less instructions.
* optimization: compute encode-universal-time at compile time when possible.
* optimization: when referencing internal functions as #'x, don't go through
an indirect fdefn structure.
* optimization: SLEEP doesn't cons on non-immediate floats and on ratios.
* optimization: (mod fixnum) type-checks are performed using one unsigned
comparison, instead of two.
* optimization: enable more modular arithmetic transforms in the presence of
conditionals.
* optimization: bitwise OR forms can now trigger modular arithmetic as well,
when the result is known to be negative.
* optimization: recognize more cases of useless LOGAND/LOGIOR with constants.
* optimization: comparisons between rationals and constant floats or between
integers and constant ratios are now converted to rationals/integers at
compile time.
* optimization: Smaller and faster DOUBLE-FLOAT-LOW-BITS on x86-64.
* bug fix: problems with NCONC type derivation (reported by Jerry James).
* bug fix: EXPT type derivation no longer constructs bogus floating-point
types. (reported by Vsevolod Dyomkin)
* bug fix: sb-bsd-sockets has correct declaration of the canonname field of
addrinfo. (lp#1187041, patch by Jerry James)
* bug fix: uninitialized type-error conditions can now be printed.
(lp#1184586)
* bug fix: tests for sb-bsd-sockets no longer use a predefined port for
listening, allowing several tests to run in parallel.
* bug fix: during disassembly to *COMPILER-TRACE-OUTPUT* instruction
prefixes as used on x86 and x86-64 no longer sometimes print incorrectly.
(lp#1085729)
* bug fix: Specialised SIMD-PACK types can be negated.
* bug fix: Modular arithmetic is more robust. (incidentally fixes another bug
reported by Eric Marsden)
* bug fix: FP return values from foreign calls are always rounded to single
or double float precision on x87.
* bug fix: Known-safe vector access on x86oids should not fail spuriously
when the index is of the form (+ x constant-positive-integer).
* bug fix: Remove GPL-licensed files from source distribution. (lp#1185668)
* bug fix: backtrace printer no longer tries to create very large lists when
the arg-count register is clobberred by other code. (lp#1192929)
* bug fix: x86 should never signal an FP exception while boxing an FP value,
a situation that lands us into ldb.
changes in sbcl-1.1.8 relative to sbcl-1.1.7:
* notice: The implementation of MAP-ALLOCATED-OBJECTS (the heart of
ROOM, plus a few SB-INTROSPECT functions) has been completely
rewritten; it may now exhibit different bugs than before.
* new feature: minimal runtime/compiler intrastructure support for SSE
SIMD values, as SB-EXT:SIMD-PACK. Enabled on x86-64 via the build-time
feature :sb-simd-pack. This should enable intrinsics extensions as
libraries, without patching SBCL itself. Thanks to Alexander Gavrilov
for maintaining a branch for so long.
* enhancement: RUN-PROGRAM supports a :DIRECTORY argument to set
the working directory of the spawned process.
(lp#791800) (patch by Matthias Benkard)
* enhancement: boxed vectors (vectors of T or of FIXNUM) can now be
stack-allocated on PPC.
* enhancement: "fixed objects" can now be stack-allocated on PPC.
* enhancement: WITH-PINNED-OBJECTS no longer conses on PPC/GENCGC.
* enhancement: (sb-introspect:find-definition-sources-by-name x :vop) now
also returns VOPs which do not translate any functions, and finds
defoptimizer types ir2convert and stack-allocate-result.
* enhancement: better type derivation for APPEND, NCONC, LIST.
(lp#538957)
* enhancement: MAP-ALLOCATED-OBJECTS (the heart of ROOM) now walks the
heap in a manner similar to the GC rather than its previous ad-hoc
scheme, and is therefore no less and possibly more accurate.
* fixes and enhancements related to Unicode:
** the character database information has been updated to Unicode 6.2;
** support for canonical and compatibility decomposition of characters has
been added, along with support for primary composition;
** support for Unicode normalization forms of strings (NFC, NFKC, NFD and
NFKD) has been included;
** querying the character database for code points not defined by Unicode
gives less wrong answers (lp#1178038, reported by Ken Harris)
* enhancement: print intermediate evaluation results for some ASSERTed
expressions. (lp#789497) (patch by Alexandra Barchunova)
* enhancement: x86-64 disassemblies are annotated with unboxed constant
values when there are references to (RIP-relative) unboxed constants.
* bug fix: type derivation for LOG{AND,IOR,XOR} scales linearly instead
of quadratically with the size of the input in the worst case.
(lp#1096444)
* bug fix: handle errors when initializing *default-pathname-defaults*,
sb-ext:*runtime-pathname*, sb-ext:*posix-argv* on startup, like character
decoding errors, or directories being deleted.
* bug fix: Loading a core with a discontiguous dynamic space now correctly
computes the amount of dynamic space used.
* bug fix: disassembler missing ",8" on SHLD
* bug fix: backtracing through INTERNAL-ERROR signal handlers on systems
that provide an "invalid" stack frame link for the signal handler
itself now use the saved-fp-and-pc mechanism to pick up from the stack
frame in the interrupt (signal) context. This is known to affect
threaded FreeBSD/x86-64.
* bug fix: some LOOP statements couldn't be compiled.
(lp#1178989)
* bug fix: sb-sequence:dosequence works on literal vectors.
* bug fix: errors in generic arithmetic show the assembly routine's
caller on x86 and x86-64. (lp#800343)
* bug fix: Compile-time type errors should never result in COMPILE-FILE
failure. (lp#943953)
* bug fix: Known bad local calls do not cause strange failures when
emitting or dumping code. (lp#504121)
* bug fix: Multiply-inlined structure constructor don't cause IR2-time
codegen errors: type checks are inserted as necessary. (lp#1177703)
* bug fix: Unsigned modular arithmetic is correctly converted into signed
modular arithemtic (mostly to exploit fixnum-width VOPs). (lp#1026634)
* bug fix: a combination of inlined local function with &optional and
recursion no longer causes undescriptive compiler errors. (lp#1180992)
* bug fix: sub-word BOOLEAN alien types now disregard higher order bits
when testing for non-zero-ness.
* bug fix: (CONCATENATE 'null ...) no longer fails for generic sequences.
(lp#1162301)
* bug fix: Type mismatch for the value of conditional expressions are
correctly reported when detected at compile-time, instead of complaining
about a constant NIL (similar for non-EQ-comparable catch tags).
* bug fix: Referring to INLINE global functions as values should not result
in a compilation failure. (lp#1035721)
* optimization: faster ISQRT on fixnums and small bignums
* optimization: faster and smaller INTEGER-LENGTH on fixnums on x86-64.
* optimization: On x86-64, the number of multi-byte NOP instructions used
for code alignment is now always minimal.
* optimization: On 64-bit targets, the compiler generates much faster
code for type checks for types known at compile time that are smaller
than (SIGNED-BYTE 64) or (UNSIGNED-BYTE 64) and larger than FIXNUM, and
their COMPLEX variants.
* optimization: On x86 targets, more uses of ALIEN-FUNCALL during cross
compilation now inline the INVOKE-WITH-SAVED-FP-AND-PC dance.
* optimization: ROOM no longer conses so egregiously on non-x86oid
systems.
* optimization: associative bitwise operations reassociate patterns like
(f (f x k1) k2) to expose (f x (f k1 k2)). Same for + and * of
rational values.
* optimization: quasiquote expressions now perform more constant folding,
instead of consing equal lists at runtime. (lp#1026439)
* optimization: local call analysis of inlined higher-order function
should converge more quickly, resulting in better code for complex
functions.
* optimization: On x86-64, medium (word-sized but wider than 32 bits)
integer constants are handled more cleverly, especially when they
can be represented as sign-extended (signed-byte 32). (Based on a
patch by Douglas Katzman)
* optimization: IF/IF conversion should reliably result in sane code
when (some of) the results of the inner IF are always false or
always true.
* optimization: On x86oids, variable right shifts of machine words are
compiled into straight SAR/SHR, instead of going through the generic
VOP. (lp#1066204)
changes in sbcl-1.1.7 relative to sbcl-1.1.6:
* enhancement: TRACE :PRINT-ALL handles multiple-valued forms.
(lp#457053)
* bug fix: :allocation slot option works for condition slots
(lp#1049404)
* bug fix: redefining conditions does not lead to multiple evaluations of
hairy slot initfunctions anymore (lp#1164969)
* bug fix: CLASS-DIRECT-DEFAULT-INITARGS now works for condition classes
(lp#1164970)
* bug fix: function constants now work as initforms and default initarg
values of conditions (lp#539517)
* bug fix: svref/(setf svref) on symbol macros don't crash the compiler
anymore. (Minimal test case provided by James M. Lawrence on sbcl-devel)
* bug fix: no more bogus ## references when pretty printing backquoted
forms with non-trivial structure sharing. (lp#1161218)
* bug fix: Don't signal an error on (setf (documentation nil 'function)
"doc"). Signal a style-warning instead when trying to set documentation
of NIL for all other documentation types. (Reported by Zach
Beane; regression since 2e52fa05.)
* bug fix: modular arithmetic involving large constants and conditionals
should no longer result in spurious dead code elimination. (Reported by
Eric Marsden).
* bug fix: our mach exception handler can seemingly called very early in
the program execution process on OS X 10.8.0. Try and handle that case
robustly, without potentially leaking mach ports too much.
* optimization: LOGBITP and LOGTEST optimizations from x86 ported to x86_64.
changes in sbcl-1.1.6 relative to sbcl-1.1.5:
* enhancement: the continuable error when defknown-ing over extant
fndb entries can be ignored by passing :overwrite-fndb-silently t
as a keyword argument to sb-c:defknown (after attributes). Useful
to allow defknown to be re-loaded. Use with :allow-other-keys t
for backward compatibility.
* optimization: compiler is much faster in compiling SVREF and (SETF SVREF)
forms.
* bug fix: Prevent a make-array transform from modifying source forms
causing problems for inlined code. Thanks to Bart Botta.
(regression since 1.0.42.11-bis)
* bug fix: clear-output calls the correct gray stream routine,
sb-gray:stream-clear-output. (lp#1153257)
* bug fix: an error is signalled for an invalid format modifier: ~<~@>.
(lp#1153148)
* bug fix: Better error messages for package operations (lp#1154776)
* bug fix: delete-package on a nonexistent package should signal a cerror.
(regression since 1.0.37.44).
* bug fix: accessing &MORE (stack allocated &REST) arguments checks bounds.
(lp#1154946, lp#1072112)
* bug fix: compiling make-array no longer signals an error when the
element-type is an uknown type, a warning is issued instead.
Thanks to James Kalenius (lp#1156095)
* bug fix: SEARCH on generic (non-VECTOR non-LIST) sequence types no longer
produces wrong results for some inputs. (Thanks to Jan Moringen.)
(lp#1153312)
changes in sbcl-1.1.5 relative to sbcl-1.1.4:
* minor incompatible change: SB-SPROF:WITH-PROFILING no longer loops
by default.
* new feature: package local nicknames. See manual for details.
* new feature: SB-EXT:MAP-DIRECTORY provides a powerful interface for
directory traversal: it is the backend used by SBCL for CL:DIRECTORY.
* enhancement: easier to use restarts for resolving name-conflicts
resulting from IMPORT, EXPORT, or USE-PACKAGE.
* enhancement: variant DEFPACKAGE forms now signal a full error with
restarts provided for resolving the situation. (lp#891351)
* enhancement: by setting SB-EXT:*ON-PACKAGE-VARIANCE* appropriately variant
DEFPACKAGE forms can now signal a full error with restarts provided for
resolving the situation. See manual for details. (lp#891351)
* enhancement: make-random-state now uses CryptGenRandom as a seed on Windows.
(Thanks to Anton Kovalenko.) (lp#1102748)
* enhancement: backtrace improvements
** secondary CLOS dispatch functions have better debug names (lp#503081)
** easier to read method names in backtraces. See
SB-DEBUG:*METHOD-FRAME-STYLE*.
** SB-DEBUG:PRINT-BACKTRACE and SB-DEBUG:LIST-BACKTRACE are available as
forwards-compatible replacements for SB-DEBUG:BACKTRACE and
SB-DEBUG:BACKTRACE-AS-LIST.
** SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS** has been deprecated, as the same
information is available in less intrusive form as frame annotations.
* enhancement: SB-POSIX now provides MAP-ANON.
* enhancement: test-suite results are colorized, failures in red, unexpected
success in green. Works on Windows and on terminals with ANSI escape code
support. Can be disabled with --no-color.
* optimization: SB-CONCURRENCY:QUEUE implementation is more efficient.
(thanks to James M. Lawrence)
* bug fix: no more unused variable style warnings from RESTART-CASE
macroexpansion (lp#1113859)
* bug fix: no more unused variable style warnings when loading
sb-bsd-sockets.asd (lp#1114681)
* bug fix: deleting a package removes it from implementation-package
lists of other packages.
* bug fix: SB-SPROF:WITH-PROFILING is now usable in the Slime REPL on Darwin.
This does not fix the occasional "interrupt already pending" issue, though.
* bug fix: (setf (documentation 'x 'function)) and
(setf (documentation #'x t)) set documentation in different places.
(regression since 1.0.43.63)
* bug fix: build on newer glibc. (lp#1095036)
changes in sbcl-1.1.4 relative to sbcl-1.1.3:
* optimization: LOOP expressions using "of-type character" have slightly
more efficient expansions.
* bug fix: very long (or infinite) constant lists in DOLIST do not result
in very long compile times or heap exhaustion anymore. (lp#1095488)
* bug fix: `#3(1) is read as #(1 1 1), not as #(1). (lp#1095918)
* bug fix: adjust-array ignored :initial-element for simple-vectors.
(lp#1096359)
* bug fix: optimizations to MAKE-INSTANCE with literal list initargs no
longer cause infinite loops (on circular data) or violate eqlity
constraints. (lp#1099708)
* bug fix: FIRST was not being open coded. (regression from 1.1.0)
changes in sbcl-1.1.3 relative to sbcl-1.1.2:
* enhancement: warnings about bad locale settings, LANG, LC_CTYPE, etc.
(lp#727625)
* enhancement: support for C-c to interrupt the foreground thread
on Windows. (Thanks to Anton Kovalenko.)
* enhancement: STDCALL alien callbacks. (Thanks to Anton Kovalenko.)
* enhancement: Safepoint builds on POSIX platforms can now optionally be
built without pseudo-atomic sequences and their run-time overhead.
* enhancement: Threads created outside of Lisp can enter Lisp through
alien callbacks and appear as Lisp threads for the duration of that
function invocation. On safepoint builds only.
* enhancement: Miscellaneous improvements to namestrings and underlying
calls to OS functions for file system access on Windows. (Thanks to
Anton Kovalenko.)
* enhancement: The MSI installer support for Windows now uses Windows
Installer XML at least version 3.5 and includes various usability
improvements. (Thanks to Dmitry Kalyanov and Anton Kovalenko.)
* enhancement: The sb-bsd-sockets contrib now supports non-blocking-mode
on Windows. (Thanks to Anton Kovalenko.)
* enhancement: The Windows backend now supports the x86-64 platform.
(Thanks to Anton Kovalenko.)
* bug fix: fasls are now once again directly executable (on platforms
supporting shebang lines, with a suitably-installed sbcl).
* bug fix: make.sh --help no longer runs clean.sh. (lp#937001)
* bug fix: Fix CAS access to slots of direct instances of structure classes
in the presence of subclasses sharing the same conc-name.
* bug fix: Logical pathname namestrings on Windows have been changed to
be lower-case, to minimize differences between POSIX and Windows.
changes in sbcl-1.1.2 relative to sbcl-1.1.1:
* notice: System requirements for SBCL on Microsoft Windows: Windows NT 5.1
or newer (Windows XP, Server 2003) is required. Support for Windows 2000
(NT 5.0) is no longer being maintained.
* notice: Starting with this version, SBCL on Windows no longer supports
building with disabled thread support.
* enhancement: frlocks have been added to SB-CONCURRENCY contrib module.
* enhancement: New feature sb-dynamic-core allows the runtime to be
rebuilt or relocated without requiring changes to the core file on
all linkage table platforms. Required on Windows. (Thanks to Anton
Kovalenko.)
* enhancement: Console I/O streams use UCS-2. (Thanks to Anton Kovalenko.)
* enhancement: I/O on Windows unnamed pipes is interruptible
asynchronously using interrupt-thread, timers when running on Windows NT
version 6.1 or newer (Windows 7, Server 2008 R2). (Thanks to Anton
Kovalenko.)
* enhancement: Support for the experimental safepoint-based stop-the-world
protocol on the PowerPC platform.
* bug fix: Non-blocking reads from the Windows console were not necessarily
non-blocking. Thanks to Anton Kovalenko. (lp#308923)
* bug fix: stability of threads on Windows has been improved upon through
an updated stop-the-world protocol (thanks to Anton Kovalenko).
changes in sbcl-1.1.1 relative to sbcl-1.1.0:
* enhancement: WITH-COMPILATION-UNIT no longer grabs the world-lock.
(COMPILE and COMPILE-FILE still do.)
* optimization: the SPARC backend now supports the precise generational
(GENCGC) garbage collection. Enabled by default on Solaris/SPARC and
Linux/SPARC. Thanks to Raymond Toy (via CMUCL).
* enhancement: add experimental support for the SB-THREAD feature and the
timer facility on Windows. Thanks to Dmitry Kalyanov and Anton Kovalenko.
Threads are enabled by default, and this version of SBCL is considered
to be the last and final release to officially support building with
threads disabled.
* optimization: The compiler no longer rotates loops in some cases where
this transformation actually lead to worse code being generated.
* bug fix: SB-CLTL2:MACROEXPAND-ALL correctly handles shadowing of
symbol-macros by lexical bindings.
* bug fix: stack allocation was prevented by high DEBUG declaration in
several cases.
* bug fix: SB-EXT:GC-LOGFILE signaled an error when no logfile was set.
(thanks to SANO Masatoshi)
* bug fix: PARSE-NATIVE-NAMESTRING performed non-native parsing when
:JUNK-ALLOWED was true.
* bug fix: type derivation inferred overly conservative types for
unions of array types. (lp#1050768)
changes in sbcl-1.1.0 relative to sbcl-1.0.58:
* enhancement: New variable, sb-ext:*disassemble-annotate* for controlling
source annotation of DISASSEMBLE output. Defaults to T.
* enhancement: TIMEOUT arguments added to WITH-MUTEX and WITH-RECURSIVE-LOCK, and
WAIT-P argument added to WITH-RECURSIVE-LOCK.
* enhancement: SB-EXT:ATOMIC-PUSH and SB-EXT:ATOMIC-POP allow atomic operations
on list heads.
* enhancement: Optional features (not enabled by default) allow the
use of signals for inter-thread synchronization to be reduced on certain
supported platforms (currently Linux, Solaris, and FreeBSD on x86 and
x86-64). Set (and :sb-thread :sb-safepoint :sb-thruption :sb-wtimer)
to test these experimental features. Known remaining bugs include minor
thread safety issues, less timely freeing of memory by GC, and certain
(not yet optimally low) runtime overhead. Thanks to Anton Kovalenko.
* optimization: CL:SORT and CL:STABLE-SORT of lists are faster and use fewer
comparisons, particularly on almost-sorted inputs.
* bug fix: Reading floats with large exponents no longer takes too much time
before reporting that the exponent is too large.
* bug fix: SB-BSD-SOCKETS:SOCKET-RECEIVE with a UDP socket now works
correctly when the received datagram is larger than the provided buffer.
(lp#1023438, thanks to Robert Uhl)
* bug fix: SB-EXT:GET-CAS-EXPANSION returned a bogus read-form when given
a SYMBOL-VALUE form with a constant symbol argument.
* bug fix: SB-EXT:GET-CAS-EXPANSION signaled an error when a macro expanding
into a DEFCAS defined place was used as the place.
* bug fix: FIND and POSITION signaled a type-error when non-bits where looked
for from bit-vectors.
* bug fix: a race condition around thread creation could (in SBCL 1.0.57)
lead to internal errors or crashes (lp#1058799).
* documentation: a section on random number generation has been added to the
manual. (lp#656839)
changes in sbcl-1.0.58 relative to sbcl-1.0.57:
* enhancement: implicit generic function warnings now specify the package
in which the new generic function is being created.
* enhancement: SB-EXT:ATOMIC-UPDATE makes it easy to perform non-destructive
updates of CAS-able places (similar to Clojure's swap!).
* enhancement: run-program no longer decodes and re-encodes environment when
:environment argument is not provided. (lp#985904)
* enhancement: errors during compiler-macro expansion no longer cause
runtime errors, only a compile-time warning, otherwise behaving as if
the compiler macro had declined to expand.
* optimization: On x86-64, code alignment of block headers is done with
multi-byte NOPs now instead of repetitions of the single-byte NOP.
* optimization: MAP-INTO is substantially faster when the target sequence is
of unknown type; mapping into lists is no longer O(N^2). (lp#1001043,
thanks to James M. Lawrence)
* optimization: the compiler no longer heap-conses to check exits in cases
where the exit function is dynamic extent, or when it can prove the exit
function cannot escape. (lp#1002534)
* optimization: SB-SEQUENCE:DOSEQUENCE is faster on vectors of unknown
element type, and vectors that aren't SIMPLE-ARRAYs.
* optimization: CL:SORT and CL:STABLE-SORT are more efficient in execution
speed (around 1/3 the time in some cases), and a little better in terms of
comparison calls. (Thanks to Takeru Ohta)
* bug fix: On SPARC, a limitation on the number of code constants emittable
by the compiler has been lifted, allowing certain long functions to
compiled and assembled which had previously been unsupported; fixes
cl-bench on this ISA (lp#1008996).
* bug fix: potential for infinite recursion during compilation of CLOS slot
typechecks when dependency graph had loops. (lp#1001799)
* bug fix: error forms reported with some program-errors were not escaped
properly.
* bug fix: functions from EVAL are now on more equal footing with functions
from COMPILE. (lp#1000783, lp#851170, lp#922408)
* bug fix: ENSURE-GENERIC-METHOD-COMBINATION accepts method combination
objects as its :METHOD-COMBINATION argument, not just lists designating
method combinations. (lp#936513)
* bug fix: run-program no longer unconditionally uses /tmp/ for temporary
files. (lp#968837).
* bug fix: restore build on solaris/sparc. (lp#1008506)
* bug fix: an issue with LDB in the PowerPC backend has been resolved;
this fixes an issue found with cl-postgres (thanks to Tomas Hlavaty).
* bug fix: compiler-macro lambda-lists specifying non-keyword symbols
as keyword arguments no longer accidentally match unevaluated symbols
against them.
* bug fix: FORMAT used to loop infinitely in some cases when a COLINC
parameter was zero, now it signals an error. (lp#905817, fixed since
1.0.56.19)
* bug fix: run-program with :pty t no longer makes the pty as the process's
controling terminal.
* bug fix: spawning threads on OS X 10.8 no longer crashes the process
(lp#1012811).
changes in sbcl-1.0.57 relative to sbcl-1.0.56:
* RANDOM enhancements and bug fixes:
** bug fix: the range and distribution of random integers could be
catastrophically wrong when the compiler derived the type of its
argument as a disjoint set of small integers.
** bug fix: the distribution of random integers is now completely
uniform even when the specified limit is not a power of two.
(Previously some values could be about 0.1 % more probable than
others in the worst case.) (lp#309467)
** RANDOM on large integer arguments is generally faster and conses
less than before; this is visible for fixnums above a length of
about 24 bits, but extremely so for bignums: the old implementation
used time and space quadratical in the size of the argument there,
the new one is linear.
* enhancement: redesigned protocol for quitting SBCL. SB-EXT:EXIT is the new
main entry point, SB-EXT:QUIT is deprecated.
* enhancement: additions to the SB-THREAD API: RETURN-FROM-THREAD,
ABORT-THREAD, MAIN-THREAD-P, and MAIN-THREAD.
* enhancement: FASL loading no longer grabs the world-lock.
* enhancement: GENCGC reclaims space more aggressively when objects being
allocated are a large fraction of the total available heap space.
(lp#936304)
* enhancement: backtraces show the correct number of arguments for frames
called with too many arguments.
* enhancement: support for abort(3), exit(3), and _exit(2) has been added to
SB-POSIX.
* enhancement: ASDF has been updated 2.21.
* optimization: fewer uses of full calls to signed modular functions.
(lp#903821)
* optimization: typechecking alien values is typically 5 x faster.
* optimization: FDEFINITION, SYMBOL-FUNCTION, MACRO-FUNCTION, and FBOUNDP
are 20% faster.
* bug fix: file compilation performance issues when dumping subtypes
of CHARACTER (lp#994487)
* bug fix: fixed disassembly of some SSE instructions on x86-64.
* bug fix: SB-SIMPLE-STREAMS signals an error for bogus :CLASS arguments in
OPEN. (lp#969352, thanks to Kambiz Darabi)
* bug fix: CASE normal-clauses do not allow T and OTHERWISE as keys.
(lp#959687)
* bug fix: (SETF (FIND-CLASS X) NIL) removed proper name of the underlying
classoid even if X was not the proper name of the class. (lp#941102)
* bug fix: declaration leakage between lexical environments due to careless
use of NCONC in MAKE-LEXENV. (lp#924276)
* bug fix: ENSURE-DIRECTORIES-EXIST now works when
*default-pathname-defaults* contains NAME or TYPE components.
* bug fix: PPRINT couldn't print improper lists with CARs being some symbols
from CL package, e.g. (loop . 10).
* bug fix: run-program with existent or non-existent files for :output or
:input when :if-output-exists or :if-input-does-not-exist are NIL properly
returns NIL instead of signalling an obscure error.
* bug fix: fix miscompilation of some logand forms with large constant
arguments. (lp#974406)
* bug fix: account for funcallable-instance objects properly in ROOM.
* bug fix: incorrect octets reported for c-string decoding errors.
(lp#985505)
* bug fix: miscompilation of LDB on the PowerPC platform. (thanks to Bruce
O'Neel)
* bug fix: better input error reporting for COMPILE-FILE. (lp#493380)
* bug fix: default size of non-nursery generations has been shrunk on GENCGC,
allowing faster release of memory back to the OS. (lp#991293)
* bug fix: WITH-DEADLINE (:SECONDS NIL :OVERRIDE T) now drops any
existing deadline for the dynamic scope of its body.
* bug fix: compiler-internal interval arithmetic needed to be more
conservative about open intervals when operated on by monotonic but not
strictly-monotonic functions. (lp#975528)
* bug fix: copy-tree caused stack exhaustion on long linear lists, and now
it's also slightly faster. (lp#998926)
* bug fix: better error messages for malformed declarations.
(lp#1000239)
* bug fix: define-condition didn't return the name of the defined condition.
* documentation:
** improved docstrings: REPLACE (lp#965592)
changes in sbcl-1.0.56 relative to sbcl-1.0.55:
* bug fix: fix copy-structure. When copying from stack to heap, garbage
could end up in the heap making GC unhappy.
(Thanks to James Knight, lp#911027)
* enhancements
** SBCL can now be built using Clang.
** ASDF has been updated 2.20.
* bug fix: compiler errors when weakening hairy integer types. (lp#913232)
* bug fix: don't complain about a too-hairy lexical environment for inlining
when the function has never been requested for inlining. (lp#963530)
changes in sbcl-1.0.55 relative to sbcl-1.0.54:
* enhancements to building SBCL using make.sh:
** --fancy can be specified to enable all supported feature enhancements.
** --with-<feature> and --without-<feature> can be used to specify
which features to build with.
** --arch option can be used to specify the architecture to build for.
(Mainly useful for building 32-bit SBCL's on x86-64 hosts, not
full-blows cross-compilation.)
* enhancement: extended package prefix syntax <pkgname>::<form-in-package>
which allows specifying name of the default interning package for the
whole form.
* enhancement: when *READ-EVAL* is true, arrays with element type other than
T can be printed readably using #.-based syntax. (Thanks to Robert Brown)
* enhancement: MAKE-ALIEN signals a storage-condition instead of returning a
null alien when malloc() fails. (lp#891268)
* enhancement: SB-EXT:PRINT-UNREADABLY restart for PRINT-NOT-READABLE
conditions can be conveniently accessed through function with the same
name, analogously to CONTINUE.
* enhancement: SB-EXT:*SUPPRESS-PRINT-ERRORS* can be used to suppress errors
from the printer by type, causing an error marker to be printed instead.
(Thanks to Attila Lendvai)
* enhancement: BACKTRACE and DESCRIBE now bind *PRINT-CIRCLE* to T, and
generally behave better when errors occur during printing.
* enhancement: the test runner now takes a --report-skipped-tests argument
to report the individual tests skipped as well as the number of skipped
tests.
* enhancement: undefined functions now appear in backtraces as ("undefined
function") instead of ("bogus stack frame") on x86oids.
* enhancement: detected deadlocks no longer cause stderr to be spammed, and
deadlock errors are reported in an easier-to-decipher manner.
* enhancement: DESCRIBE on type designators reports the expansion in more
cases.
* enhancement: SBCL now provides either an explicit :BIG-ENDIAN or
:LITTLE-ENDIAN in *FEATURES*, instead of :BIG-ENDIAN being implied by lack
of the :LITTLE-ENDIAN feature. (Thanks to Luís Oliveira, lp#901661)
* enhancement: better disassembly of segment-prefixes on x86 and other
instruction prefixes (e.g. LOCK) on x86 and x86-64.
* optimization: FIND and POSITION on bit-vectors are orders of magnitude
faster (assuming KEY and TEST are not used, or are sufficiently trivial.)
* optimization: SUBSEQ on vectors of unknown element type is substantially
faster. (lp#902537)
* optimization: specialized arrays with non-zero :INITIAL-ELEMENT can
be stack-allocated. (lp#902351)
* optimization: the compiler is smarter about representation selection for
floating point constants used in full calls.
* optimization: the compiler no longer refuses to coerce large fixnums to
single floats inline, except on x86 where this limitation is still
necessary.
* optimization: truncation operations on integers with constant divisor
arguments 1 and -1 are optimized away.
* bug fix: deadlock detection could report the same deadlock twice, for
two different threads. Now a single deadlock is reported exactly once.
* bug fix: interval-arithmetic division during type derivation did not
account for signed zeros.
* bug fix: compiler error when typechecking a call to a function with
non-constant keyword arguments.
* bug fix: misoptimization of TRUNCATE causing erratic behaviour.
* bug fix: condition slot accessors no longer cause undefined function
style-warnings when used in the :REPORT clause of the DEFINE-CONDITION
form that defines them. (lp#896379)
* bug fix: DEFGENERIC warns about unsupported declarations, as specified
by ANSI. (lp#894202)
* bug fix: SUBTYPEP tests involving forward-referenced classes no longer
bogusly report NIL, T.
* bug fix: bogus style-warnings for DEFMETHOD forms that both declared some
required arguments ignored and performed assignments to others.
(lp#898331)
* bug fix: *EVALUATOR-MODE* :COMPILE treated (LET () ...) identically
to (LOCALLY ...) leading to internally inconsistent toplevel-formness.
* bug fix: non-toplevel DEFSTRUCT signaled a style warning for unknown type.
* bug fix: redefining a function whose previous definition contained an
unknown type no longer causes a style-warning. (lp#806243)
* bug fix: undefined functions now appear in backtraces as ("undefined
function") instead of ("bogus stack frame") on non-x86oids.
* bug fix: backtraces are no longer cut off at ("undefined function") when
called under certain circumstances (involving a caller-allocated stack
frame) on PPC.
* bug fix: RUN-PROGRAM leaked a file-descriptor per call on non-Windows
systems. (regression since 1.0.53)
* bug fix: GC deadlocks from dladdr() on certain platforms.
* bug fix: broken standard streams no longer automatically cause recursive
errors on debugger entry.
* bug fix: build ignored --dynamic-space-size=<size> argument to make.sh
(regression since 1.0.53)
* bug fix: attempts to stack allocate a required argument to a function with
an external entry point caused compiler-errors.
* bug fix: compiler notes for failed stack allocation for a function argument
no longer claim to be unable to stack allocate the function.
* bug fix: COERCE now signals a type-error on several coercions to
subtypes of CHARACTER that are forbidden according to ANSI. (lp#841312)
* bug fix: missing failure-to-stack-allocate compiler notes for some
forms of MAKE-ARRAY with dynamic-extent. (lp#902351)
* bug fix: some of the compile-time side-effects of DEFCLASS were not caught
by package locks.
* bug fix: Proper handling of --dynamic-space-size option on 32 bit platforms.
changes in sbcl-1.0.54 relative to sbcl-1.0.53:
* minor incompatible changes:
** RENAME-FILE on a symbolic links used to rename the linked-to file
instead of the link.
** DELETE-DIRECTORY on symbolic link to a directory used to delete the
directory, but now signal an error instead. Use TRUENAME to resolve the
pathname if you wish to delete the linked directory, and DELETE-FILE if
you wish to delete the
** The internal SB-THREAD::SPINLOCK API has been deprecated, and using
symbols associated with it will trigger a compile-time warning.
* thread-related enhancements:
(This work has been funded by the SBCL Threading 2011 IndieGoGo campaign.
Many thanks to generous donors!)
** Threading is now more reliable on non-Linux platforms. We still don't
consider threads on non-Linux platforms good enough to enable them by
default, but they're in a clearly better shape now.
** Deadlines supported now on all platforms.
** All blocking functions in the threading API now have a :TIMEOUT
argument.
** Semaphore notification objects have been added to SB-THREAD.
** SB-CONCURRENCY contrib now includes Allegro-style GATE objects.
** SB-EXT:COMPARE-AND-SWAP has been extended to support SLOT-VALUE,
STANDARD-INSTANCE-ACCESS, and FUNCALLABLE-STANDARD-INSTANCE-ACCESS.
** Users can now defined new places usable with SB-EXT:COMPARE-AND-SWAP
using an API anologous to defining new SETFable places.
* GC-related enhancements and bug fixes:
** --dynamic-space-size and --control-stack-size now understand Kb, Mb,
and Gb suffixes. Default is megabytes as before.
** on GENCGC targets, the default dynamic space size is now 512Mb for
32-bit systems, and 1Gb for 64-bit systems. (OpenBSD/x86-64 is the only
exception, defaulting to mere 444Mb to fit under default ulimits.) The
new defaults are in place to prevent hitting swap on low-end systems.
Use build-time option --dynamic-space-size to build an SBCL with
another default, or the runtime option to adjust the size at startup: a
good size is at most equal to the amount of physical memory the system
has.
** on GENCGC targets, nursery and generation sizes now default to 5% of
dynamic-space size.
** on GENCGC targets, SB-KERNEL:MAKE-LISP-OBJ no longer categorically
refuses to create SIMPLE-FUN objects.
** on 64-bit GENCGC targets, setting the nursery size above 4Gb now works.
(lp#870868)
** on CHENEYGC targets, SB-KERNEL:MAKE-LISP-OBJ now does the same
validation of pointer objects as GENCGC does, instead of a
comparatively weak bounds-check against the heap spaces.
* SB-BSD-SOCKETS bug fixes:
** GET-PROTOCOL-BY-NAME had a significant memory leak.
** GET-HOST-BY-NAME and GET-HOST-BY-ADDRESS small amounts of memory on
systems with getaddrinfo().
** GET-HOST-BY-NAME and GET-HOST-BY-ADDRESS weren't thread or interrupt
safe outside systems with getaddrinfo().
* enhancement: ASDF has been updated 2.019.
* enhancement: special-case TCO prevention for functions which never return
extended to untrusted types, keeping one more frame's worth of debug
information around in many cases.
* enhancement: debug-names of anonymous and local function are more
descriptive. Affects backtraces and SB-SPROF results. (lp#805100)
* enhancement: on win32, ABS of complex floats guards better against
overflows. (lp#888410)
* enhancement: RUN-PROGRAM now distinguishes exec() failing from child
process exiting with code 1. (lp#676987)
* enhancement: convenience function SET-SBCL-SOURCE-LOCATION for informing
the system where on the filesystem the SBCL sources themselves are
located. (Thanks to Zach Beane)
* enhancement: the compiler is now able to derive tighter bounds for
floating point numbers in some cases. (Thanks to Lutz Euler, lp#894498)
* bug fix: on 64-bit targets, atomic-incf/aref does index computation
correctly, even on wide-fixnum builds. (lp#887220)