sbcl.git
16 years ago1.0.8.15: making SBCL sources Git more friendly
Nikodemus Siivola [Sat, 4 Aug 2007 14:49:32 +0000 (14:49 +0000)]
1.0.8.15: making SBCL sources Git more friendly

 * Git for SBCL Hackers guide.

 * If branch-version.lisp-expr exists, it's value is concatenated
   after the contents of version.lisp-expr, separated out by ".".

   Doing this allows reduces spurious conflicts on branches: otherwise
   a branch announcing it's name in version.lisp-expr is going to
   conflict at every turn, which prevents automatic rebasing and
   merging from doing TRT.

 * Added .gitignore

16 years ago1.0.8.14: De-clutter C code.
Thiemo Seufer [Fri, 3 Aug 2007 22:58:24 +0000 (22:58 +0000)]
1.0.8.14: De-clutter C code.

16 years ago1.0.8.13: .cvsignore test output.
Thiemo Seufer [Fri, 3 Aug 2007 22:56:07 +0000 (22:56 +0000)]
1.0.8.13: .cvsignore test output.

16 years ago1.0.8.12: Fix tests/foreign.test.sh on FreeBSD7/amd64
NIIMI Satoshi [Tue, 31 Jul 2007 03:10:46 +0000 (03:10 +0000)]
1.0.8.12: Fix tests/foreign.test.sh on FreeBSD7/amd64

16 years ago1.0.8.11: Fix typo in comment.
Thiemo Seufer [Sun, 29 Jul 2007 19:32:10 +0000 (19:32 +0000)]
1.0.8.11: Fix typo in comment.

16 years ago1.0.8.10: Untabify.
Thiemo Seufer [Sat, 28 Jul 2007 18:42:00 +0000 (18:42 +0000)]
1.0.8.10: Untabify.

16 years ago1.0.8.9: fix a potential segfault, and make a lisp pointercheck less obscure.
Thiemo Seufer [Sat, 28 Jul 2007 12:53:00 +0000 (12:53 +0000)]
1.0.8.9: fix a potential segfault, and make a lisp pointercheck less obscure.

16 years ago1.0.8.8: restore reuse-sap value after incomplete writes in FROB-OUTPUT-LATER
Nikodemus Siivola [Fri, 27 Jul 2007 12:09:10 +0000 (12:09 +0000)]
1.0.8.8: restore reuse-sap value after incomplete writes in FROB-OUTPUT-LATER

 * Unless we do this, we leak each reusable sap that happens to hit this
   code path.

 * Thanks to David Smith.

16 years ago1.0.8.7: printer-control variables affecting MEMBER & ASSOC transforms
Nikodemus Siivola [Fri, 27 Jul 2007 11:13:22 +0000 (11:13 +0000)]
1.0.8.7: printer-control variables affecting MEMBER & ASSOC transforms

 Reported by Dan Corkill on sbcl-devel.

 * Use WRITE-STRING on SYMBOL-NAME instead of FORMAT %A to ironclad
   the specialized function name generation.

 * Tests.

16 years ago1.0.8.6: Fix typo in comment.
Thiemo Seufer [Fri, 27 Jul 2007 01:58:06 +0000 (01:58 +0000)]
1.0.8.6: Fix typo in comment.

16 years ago1.0.8.5: Conform to strict aliasing rules.
Thiemo Seufer [Wed, 25 Jul 2007 22:21:46 +0000 (22:21 +0000)]
1.0.8.5: Conform to strict aliasing rules.

16 years ago1.0.8.4: One compiler warning less...
Thiemo Seufer [Wed, 25 Jul 2007 22:08:03 +0000 (22:08 +0000)]
1.0.8.4: One compiler warning less...

16 years ago1.0.8.3: Include missing headers.
Thiemo Seufer [Wed, 25 Jul 2007 22:05:26 +0000 (22:05 +0000)]
1.0.8.3: Include missing headers.

16 years ago1.0.8.2: Silence compiler warning.
Thiemo Seufer [Wed, 25 Jul 2007 21:46:39 +0000 (21:46 +0000)]
1.0.8.2: Silence compiler warning.

16 years ago1.0.8.1: Nicer C code
Thiemo Seufer [Wed, 25 Jul 2007 21:37:31 +0000 (21:37 +0000)]
1.0.8.1: Nicer C code
- More consistent formatting.
- Spelling fixes.
- Declare empty parameter lists as void.

16 years ago1.0.8: release, will be tagged as sbcl_1_0_8
William Harold Newman [Wed, 25 Jul 2007 13:39:33 +0000 (13:39 +0000)]
1.0.8: release, will be tagged as sbcl_1_0_8

16 years ago1.0.7.39: Fix typo in comment.
Thiemo Seufer [Mon, 23 Jul 2007 20:29:55 +0000 (20:29 +0000)]
1.0.7.39: Fix typo in comment.

16 years ago1.0.7.38: Fix the MIPS single-stepper break instruction.
Thiemo Seufer [Mon, 23 Jul 2007 20:26:38 +0000 (20:26 +0000)]
1.0.7.38: Fix the MIPS single-stepper break instruction.

16 years ago1.0.7.37: fix non-x86oid builds
Nikodemus Siivola [Sat, 21 Jul 2007 13:33:53 +0000 (13:33 +0000)]
1.0.7.37: fix non-x86oid builds

 * WITH-PINNED-OBJECTS needs to be a DEF!MACRO, not DEFMACRO. No SB!SYS prefix
   needed, as SB-VM uses SB-SYS.

 (Tested on only PPC/Darwin.)

16 years ago1.0.7.36: FIND-SLOT-DEFINITION to return NIL when called with non-slot-classes
Nikodemus Siivola [Sat, 21 Jul 2007 01:55:42 +0000 (01:55 +0000)]
1.0.7.36: FIND-SLOT-DEFINITION to return NIL when called with non-slot-classes

 * Add a default method to CLASS-SLOT-VECTOR that returns #(NIL), restoring
   the pre-1.0.7.26 behaviour of calling SLOT-MISSING when trying to access
   slots in non-SLOT-CLASS instances.

 * Add a slightly dubious test-case.

16 years ago1.0.7.35: SLOT-VALUE and SET-SLOT-VALUE transforms aren't important
Nikodemus Siivola [Sat, 21 Jul 2007 00:05:15 +0000 (00:05 +0000)]
1.0.7.35: SLOT-VALUE and SET-SLOT-VALUE transforms aren't important

 * No compiler notes for default policy.

 * Test case.

16 years ago1.0.7.34: adjust lexenv frobbing in TRANSFORM-CALL to happen earlier
Nikodemus Siivola [Fri, 20 Jul 2007 23:43:21 +0000 (23:43 +0000)]
1.0.7.34: adjust lexenv frobbing in TRANSFORM-CALL to happen earlier

 * Need to replace the call lexenv with the frobbed one before
   WITH-IR1-ENVIRONMENT-FROM-NODE so that IR1-CONVERT-INLINE-LAMBDA
   gets a consistent *LEXENV* binding.

   (This has been around since 0.9.17.5, but since it only affects
   known functions with optional arguments and transformations it
   suddenly become a lot more easy to hit with the new MEMBER and
   ASSOC transforms.)

 * Test case.

16 years ago1.0.7.33: better handling of ASSOC and MEMBER on empty lists
Nikodemus Siivola [Thu, 19 Jul 2007 18:49:44 +0000 (18:49 +0000)]
1.0.7.33: better handling of ASSOC and MEMBER on empty lists

 * If the second argument is a constant NIL, remove the whole
   call in the transform and just return NIL.

16 years ago1.0.7.31: updated TODO file
Nikodemus Siivola [Thu, 19 Jul 2007 14:16:40 +0000 (14:16 +0000)]
1.0.7.31: updated TODO file

 Let the controversy begin.

 No code changes.

16 years ago1.0.7.31: paper over bug inlining known functions in high-debug code
Nikodemus Siivola [Thu, 19 Jul 2007 13:44:58 +0000 (13:44 +0000)]
1.0.7.31: paper over bug inlining known functions in high-debug code

 NOT A PROPER FIX!

 * Don't inline known functions unless let-conversion is enabled, which papers
   over the real bug -- apparently due to BIND/UNBIND-SENTINEL vop insertion.

16 years ago1.0.7.30: be more paranoid about saps
Nikodemus Siivola [Thu, 19 Jul 2007 12:58:59 +0000 (12:58 +0000)]
1.0.7.30: be more paranoid about saps

 * Since compiler transformations can introduce closures and hence
   cause "this is obviously always on stack or in register" intuition
   to be wrong, be more vigilant about pinning objects before
   sap-taking.

 * Also convert a couple of WITHOUT-GCINGs to WITH-PINNED-OBJECTS
   instead.

16 years ago1.0.7.29: better ASSOC transform
Nikodemus Siivola [Thu, 19 Jul 2007 10:28:14 +0000 (10:28 +0000)]
1.0.7.29: better ASSOC transform

 * Extend the new MEMBER optimizations to handle ASSOC as well, and define
   the corresponding %ASSOC[-KEY][-TEST][-NOT] functions as well.

 * Clean up the old ASSOC -> ASSQ and MEMBER -> MEMQ transforms that
   aren't firing anymore.

 * Tests.

16 years ago1.0.7.28: compiler being nicer to the compiler
Nikodemus Siivola [Tue, 17 Jul 2007 22:26:30 +0000 (22:26 +0000)]
1.0.7.28: compiler being nicer to the compiler

 * In MAKE-XEP-LAMBDA-EXPRESSION, use EQL instead of = and NOT <
   instead of >= to avoid additional rounds of deftransforms and
   lambda-conversion.

 * Add a source transform for %COERCE-CALLABLE-TO-FUN to pick of
   simple cases, also avoid inserting additional lambdas to the code.

 * Use %FUNCALL and %COERCE-CALLABLE-TO-FUN in MAPFOO-TRANSFORM,
   providing not just faster compilation, but also making (MAPCAR F
   ...) faster by lifting the %C-C-T-F out of the loop.

 This work was based on Juho's observation that a major source of
 compiler slowness are all the lambdas generated by transforms: not
 that this changes the big picture in any way -- just shaves a few
 corners. If you wish to get a gut feeling of what is going on, stick
 a (PRINT (LIST DEBUG-NAME BODY)) in IR1-CONVERT-INLINE-LAMBDA.

16 years ago1.0.7.27: SLOT-CLASS cleanups
Nikodemus Siivola [Tue, 17 Jul 2007 20:50:15 +0000 (20:50 +0000)]
1.0.7.27: SLOT-CLASS cleanups

 * No need for two separate implementations of FIND-SLOT-DEFINITION -- just
   move the one we care about to slots-boot.lisp along with MAKE-SLOT-VECTOR
   (which it is intimately tied up with.) Add comments for posterity.

 * There should be no (SETF CLASS-SLOTS) or (SETF CLASS-DIRECT-SLOTS), so
   :READER, not :ACCESSOR in SLOT-CLASS.

16 years ago1.0.7.26: asymptotically faster FIND-SLOT-DEFINITION
Nikodemus Siivola [Tue, 17 Jul 2007 18:36:33 +0000 (18:36 +0000)]
1.0.7.26: asymptotically faster FIND-SLOT-DEFINITION

 * Add a SLOT-VECTOR slot the SLOT-CLASS. The SLOT-VECTOR contains
   plists of slot definition objects hashed on the slot name, allowing
   O(1) lookups based on the slot name, instead of the old O(N)
   lookups -- where N is the number of slots in a class.

   Makes everything requiring slot definition lookups faster, simple
   tests showing SLOT-VALUE with variable name on a 5-slot class to be
   roughly 50% faster.

16 years ago1.0.7.25: better MEMBER transform
Nikodemus Siivola [Tue, 17 Jul 2007 13:18:06 +0000 (13:18 +0000)]
1.0.7.25: better MEMBER transform

 * Specialized versions for different keyword combinations: %MEMBER,
   %MEMBER-TEST, %MEMBER-KEY-TEST, etc. These versions have positional
   arguments, and the callable arguments are known to be functions.

 * The transform open codes for all combinations of keywords if the
   second argument is constant and (>= SPEED SPACE). Otherwise the
   transform selects the appropriate specialized version and open
   codes %COERCE-CALLABLE-TO-FUN around keyword arguments, allowing
   type inference to optimize it away for arguments known to be
   functions.

 * Tests.

16 years ago1.0.7.24: Fix CALL-NEXT-METHOD / EVAL-WHEN interaction
Christophe Rhodes [Tue, 17 Jul 2007 11:24:26 +0000 (11:24 +0000)]
1.0.7.24: Fix CALL-NEXT-METHOD / EVAL-WHEN interaction
Reported by Sascha Wilde sbcl-devel 2007-07-15.  This fix is not
the one that I sent to sbcl-devel 2007-07-16, because that's
just too horrible; instead we expand DEFMETHOD into separate
:LOAD-TOPLEVEL and :EXECUTE branches.  (This needs a minor test
adjustment)

16 years ago1.0.7.23: delete a large block of commented-out code from seqtran.lisp
Nikodemus Siivola [Tue, 17 Jul 2007 10:13:38 +0000 (10:13 +0000)]
1.0.7.23: delete a large block of commented-out code from seqtran.lisp

 * This is why we have version control. (But add a comment pointing out
   that this code exists, so that people know where to look for it.)

   The code that is deleted here contains the apparent beginnings of a
   better sequence transform infrastructure: a compiler representation
   of an iteration over a sequence.

16 years ago1.0.7.22: (SETF SYMBOL-PLIST) type checking
Nikodemus Siivola [Mon, 16 Jul 2007 16:52:52 +0000 (16:52 +0000)]
1.0.7.22: (SETF SYMBOL-PLIST) type checking

 * Disallow non-lists as the new value.

16 years ago1.0.7.21: threaded SET & BIND VOP touchups
Nikodemus Siivola [Mon, 16 Jul 2007 16:12:18 +0000 (16:12 +0000)]
1.0.7.21: threaded SET & BIND VOP touchups

 * In SET: don't check versus TLS-INDEX == 0: TLS-INDEX 0 already
   gives the NO-TLS-VALUE-MARKER. Smaller code, and common case seems
   to be assignment to a bound variable.

 * In BIND: use one register less, splitting the duties of the old
   TEMP between TLS-INDEX and EAX/RAX. Increment the *FREE-TLS-INDEX*
   directly in memory.

16 years ago1.0.7.20: note for SBCL packagers
Nikodemus Siivola [Mon, 16 Jul 2007 11:07:37 +0000 (11:07 +0000)]
1.0.7.20: note for SBCL packagers

 See doc/PACKAGING-SBCL.txt.

16 years ago1.0.7.19: SB-EXT:COMPARE-AND-SWAP
Nikodemus Siivola [Sun, 15 Jul 2007 22:28:12 +0000 (22:28 +0000)]
1.0.7.19: SB-EXT:COMPARE-AND-SWAP

 * New macro SB-EXT:COMPARE-AND-SWAP provides a supported interface to
   compare-and-swap functionality.

 * New info-type :FUNCTION :STRUCTURE-ACCESSOR allows us to map from
   defstruct slot-accessor names to defstruct descriptions.

 * Add :CAS-TRANS slot keyword to DEFINE-PRIMITIVE object, and the
   compiler machinery needed to support compare and swap on primitive
   object slots.

 * New VOPs COMPARE-AND-SWAP-SLOT and %COMPARE-AND-SWAP-SYMBOL-VALUE.

 * Delete now unnecessary DEFINE-STRUCTURE-SLOT-COMPARE-AND-SWAP.

 * Use a consistent %COMPARE-AND-SWAP-FOO naming scheme for CAS
   functions.

 * Tests.

 Tested on x86/Linux & x86/Darwin, x86-64/Darwi, and PPC/Darwin.

16 years ago1.0.7.18: automagic debugging-friendly gensyms
Nikodemus Siivola [Fri, 13 Jul 2007 18:57:23 +0000 (18:57 +0000)]
1.0.7.18: automagic debugging-friendly gensyms

 * New function: SB-INT:BLOCK-GENSYM, which appends the innermost
   enclosing non-NIL block name to the given stem. The default
   environment used is the current *LEXENV* if one exists.

 * Use it instead of GENSYM in MAKE-GENSYM-LIST and WITH-UNIQUE-NAMES.

16 years ago1.0.7.17: SLOT-VALUE and SET-SLOT-VALUE transforms (really 1.0.7.16)
Nikodemus Siivola [Thu, 12 Jul 2007 23:05:17 +0000 (23:05 +0000)]
1.0.7.17: SLOT-VALUE and SET-SLOT-VALUE transforms (really 1.0.7.16)

 This is the real commit message that was supposed to go in 1.0.7.16.
 Sorry.

 * Define SLOT-VALUE and SET-SLOT-VALUE as known functions.

 * Use &ENVIRONMENT in CONSTANTP and CONSTANT-FORM-VALUE calls in
   their compiler-macros.

 * Add transforms for SLOT-VALUE and SET-SLOT-VALUE in addition to the
   compiler-macros. The transforms are functionally equivalent to the
   compiler-macros, but catch more cases: eg.

     (define-modify-macro appendf (&rest lists) append)
     (appendf (slot-value x 'y) z)

   needs the deftransforms as setf-expansion replaces the constant
   argument with a gensym.

   Keep the compiler-macros around, since they catch the common cases
   early and don't mess up the build: the transforms are agressive
   enough that we can't enable them until the PCL boot-state is
   complete. (The compiler-macros are also slightly cheaper, since
   each transform introduces a new lambda.)

16 years ago1.0.7.14: thread-safe INTERN, EXPORT, &co
Nikodemus Siivola [Thu, 12 Jul 2007 17:28:40 +0000 (17:28 +0000)]
1.0.7.14: thread-safe INTERN, EXPORT, &co

 * Modifications to packages grab a global lock. INTERN is the only
   real potential performance bottleneck here, but as long as the
   symbol already exists it doesn't need to get the lock.

   We need a global lock instead of a per-package lock because eg.
   (EXPORT 'FOO::BAR :FOO) and (INTERN "BAR" :ZOT) can conflict, even
   though they operate on different packages.

   Since races should be rare we use a spinlock to avoid making a
   system call for every release.

   Interrupt safety? Probably no. It's likely that you can wedge the
   package system into a bad state if you really try.

16 years ago1.0.7.15: fix buglet in NAME-LAMBDALIKE
Nikodemus Siivola [Thu, 12 Jul 2007 10:31:20 +0000 (10:31 +0000)]
1.0.7.15: fix buglet in NAME-LAMBDALIKE

 * Remove stray QUOTE. Reported by David Smith.

16 years ago1.0.7.14: thread-safe INTERN, EXPORT, &co
Nikodemus Siivola [Wed, 11 Jul 2007 13:56:49 +0000 (13:56 +0000)]
1.0.7.14: thread-safe INTERN, EXPORT, &co

 * Modifications to packages grab a global lock. INTERN is the only
   real potential performance bottleneck here, but as long as the
   symbol already exists it doesn't need to get the lock.

   We need a global lock instead of a per-package lock because eg.
   (EXPORT 'FOO::BAR :FOO) and (INTERN "BAR" :ZOT) can conflict, even
   though they operate on different packages.

   Since races should be rare we use a spinlock to avoid making a
   system call for every release.

   Interrupt safety? Probably no. It's likely that you can wedge the
   package system into a bad state if you really try.

16 years ago1.0.7.13: Mistakes should be fun, error messages should be beautiful.
William Harold Newman [Wed, 4 Jul 2007 00:15:27 +0000 (00:15 +0000)]
1.0.7.13: Mistakes should be fun, error messages should be beautiful.
take one ~% down, replace it with ~_, several hundred
vintage error message strings in the repository...

16 years ago1.0.7.12: fix clos-interrupts.impure.lisp for unithreaded builds
Nikodemus Siivola [Tue, 3 Jul 2007 12:11:42 +0000 (12:11 +0000)]
1.0.7.12: fix clos-interrupts.impure.lisp for unithreaded builds

 * Forgot #+sb-thread from the test case.

16 years ago1.0.7.11: fix test WITHOUT-INTERRUPTS+GET-MUTEX
Nikodemus Siivola [Tue, 3 Jul 2007 10:21:21 +0000 (10:21 +0000)]
1.0.7.11: fix test WITHOUT-INTERRUPTS+GET-MUTEX
 * Incorrect use of JOIN-THREAD.

16 years ago1.0.7.10: added a FINISH-OUTPUT before switching streams
William Harold Newman [Mon, 2 Jul 2007 17:48:52 +0000 (17:48 +0000)]
1.0.7.10: added a FINISH-OUTPUT before switching streams
Before this little patch, compiling a source file containing
only three #\. characters gave output like this:
  * (compile-file "dots.lisp")
  ; compiling file "/tmp/dots.lisp" (written 02 JUL 2007 12:27:29 PM):
  ;
  ; compilation unit aborted
  ;   caught 1 fatal ERROR condition
  ; compilation aborted because of fatal error:
  ;   READ failure in COMPILE-FILE:
  ;     READER-ERROR at 3 (line 1, column 3) on #<SB-SYS:FD-STREAM for "file /tmp/dots.lisp" {AB65D21}>:

  ; /tmp/dots.fasl written
  ; compilation finished in 0:00:00
  #P"/tmp/dots.fasl"
  T
  ; too many dotsT
  *
        After this patch, the 'too many dots' text ends up where
it should (several lines earlier).

16 years ago1.0.7.9: DEFAULT-UNKNOWN-VALUES for more than 7 args on x86-64
Christophe Rhodes [Mon, 2 Jul 2007 16:58:20 +0000 (16:58 +0000)]
1.0.7.9: DEFAULT-UNKNOWN-VALUES for more than 7 args on x86-64
Convinced myself that my patch was right, and that JMP-SHORT was
an artifact of the previous calling convention.  Delete
the JMP-SHORT pseudo-instruction forthwith.

16 years ago1.0.7.8: micro-optimize STRING->UTF8
Nikodemus Siivola [Sun, 1 Jul 2007 18:51:19 +0000 (18:51 +0000)]
1.0.7.8: micro-optimize STRING->UTF8

 * Slight cleverness about types, and inline ADD-BYTE locally.

 * If the utf8-length is the same as the length of the subsequence use
   a faster path.

 * Up to 60% faster on my test-cases (strings of random characters in
   the full character-code range.)

16 years ago1.0.7.7: slightly less broken handling of obsolete structures
Nikodemus Siivola [Sun, 1 Jul 2007 16:35:04 +0000 (16:35 +0000)]
1.0.7.7: slightly less broken handling of obsolete structures

 * Trap them correctly in PCL.

 * Correct package so that CLASSOID-TYPEP signals the correct error
   instead of running into an undefined function.

 * Tests.

16 years ago1.0.7.6: additional test case that fails under SB-LUTEX
Nikodemus Siivola [Sun, 1 Jul 2007 15:03:34 +0000 (15:03 +0000)]
1.0.7.6: additional test case that fails under SB-LUTEX

 Buggrit, millenium hand and shrimp!

16 years ago1.0.7.5: allow WITH-INTERRUPTS inside "system locked" sections
Nikodemus Siivola [Sun, 1 Jul 2007 12:35:30 +0000 (12:35 +0000)]
1.0.7.5: allow WITH-INTERRUPTS inside "system locked" sections

 * Fixes bug reported by Kristoffer Kvello on sbcl-help. (Regression
   caused by WITHOUT-INTERRUPT change caused GET-FOREGROUND wait to
   become uninterruptible.)

 * Test-case for the above, and another to show that condition-wait
   should not be interruptible if there is a surrounding
   WITHOUT-INTERRUPTS -- which currently fails on SB-LUTEX builds.

16 years ago1.0.7.4: RESTRICT-COMPILER-POLICY
Nikodemus Siivola [Sat, 30 Jun 2007 09:21:24 +0000 (09:21 +0000)]
1.0.7.4: RESTRICT-COMPILER-POLICY

 * Allow users to set a global minimum for optimization qualities,
   overriding declarations and proclamations.

   The intended use is to make it easy to recompile large bodies of
   code with many local optimization declarations with a minimum
   SAFETY or DEBUG everywhere.

 * Changes to SBCL itself to allow building with SBCL that has minimum
   safety set to 3:

    -- Second argument of %MORE-KW-ARG is a negative: DEFKNOWN it as a
       FIXNUM, not INDEX.

    -- We don't have a deftype for SB-VM::POSITIVE-FIXNUM -- it's only
       a backend type. Use (AND UNSIGNED-BYTE FIXNUM) instead.

 * Delete some unused functions: READ-SEQUENCE-OR-DIE,
   RENAME-KEY-ARGS.

16 years ago1.0.7.3: non-consing GETHASH and (SETF GETHASH)
Nikodemus Siivola [Thu, 28 Jun 2007 23:13:45 +0000 (23:13 +0000)]
1.0.7.3: non-consing GETHASH and (SETF GETHASH)

 * Add a BLOCK for RETURN-FROM inside WITH-SPINLOCK-AND-WITHOUT-GCING,
   so that the compiler will not need to generate code to verify the
   tag existence at runtime -- which causes value-cell allocation.

   (Performance regression since new WITHOUT-INTERRUPTS implementation.)

 * Add a test-case to make sure basic hash-table functionality is non-consing.

16 years ago1.0.7.2: fix potential GC errors due to bogus objects in backtraces
Nikodemus Siivola [Thu, 28 Jun 2007 14:24:48 +0000 (14:24 +0000)]
1.0.7.2: fix potential GC errors due to bogus objects in backtraces

 Backtrace construction involves calling MAKE-LISP-OBJ on things we
 devoutly hope are tagged lisp pointers, but this is not always the
 case. When we fail to detect this, and a GC follows while the bogus
 object is at location visible to GC bad things will happen. (Pinning
 doesn't change anything, as the object still needs to be scavenged.)

 To fix this (mostly -- one can still construct bogus lisp-objects
 using MAKE-LISP-OBJ, it just takes more work / is less likely to
 happen by accident):

  * Rename MAKE-LISP-OBJ %MAKE-LISP-OBJ, and MAKE-VALID-LISP-OBJ
    MAKE-LISP-OBJ.

  * Add an optional ERRORP argument to the former MAKE-VALID-LISP-OBJ,
    defaulting to T.

  * Always use the function formerly known as MAKE-VALID-LISP-OBJ,
    passing in errorp=NIL when in doubt.

  * Improve the validation done on x86/x86-64: factor out the checking
    logic in possibly_valid_dynamic_space_pointer, and use it to
    implment valid_lisp_ponter_p. Could be done on other platforms as
    well, but better done by someone who can test the results...

 Adjust other code to suit:

  * MAP-ALLOCATED-OBJECTS uses %MAKE-LISP-OBJ for now, as the new
    MAKE-LISP-OBJ is too slow to use for groveling over the whole
    heap. (Though it does detect a bunch of bogus objects we're
    constructing in ROOM now, so the time would not be really
    wasted...)

 No test cases because I've been unable to construct one that calls
 MAKE-LISP-OBJ with bogus arguments while backtracing, but such
 backtraces have been seen in the wild.

16 years ago1.0.7.1: dynamic extent value cells
Nikodemus Siivola [Thu, 28 Jun 2007 13:04:54 +0000 (13:04 +0000)]
1.0.7.1: dynamic extent value cells

 * Pass DX information from leaf to MAKE-VALUE-CELL, and implement the
   DX allocation for it on x86 and x86-64.

 * Declare some appropriate closed-over variables dynamic-extent:
   allows non-consing WITH-SPINLOCK &co.

 * Tests.

16 years ago1.0.7: release, will be tagged as sbcl_1_0_7
William Harold Newman [Wed, 27 Jun 2007 23:44:09 +0000 (23:44 +0000)]
1.0.7: release, will be tagged as sbcl_1_0_7

16 years ago1.0.6.60: add test file that was forgotten from 1.0.6.59
Nikodemus Siivola [Thu, 21 Jun 2007 15:09:10 +0000 (15:09 +0000)]
1.0.6.60: add test file that was forgotten from 1.0.6.59

 * clos-interrupts.impure.lisp

16 years ago1.0.6.59: bogus metacircles due to interrupted applicable method comp.
Nikodemus Siivola [Wed, 20 Jun 2007 19:05:53 +0000 (19:05 +0000)]
1.0.6.59: bogus metacircles due to interrupted applicable method comp.

 * If an interrupt arrives while have stuff on the *CACHE-MISS-VALUES-STACK*
   and the interrupt handler happens to call a gf that is already there,
   we used to think this was a metacircle. Instead we need to bind
   variables like this to "empty" values for interrupt hanlers.

 * Test.

 * Note some bugs.

16 years ago1.0.6.58: better heap exhaustion information
Nikodemus Siivola [Wed, 20 Jun 2007 18:11:57 +0000 (18:11 +0000)]
1.0.6.58: better heap exhaustion information

 * Print states of *GC-PENDING*, *GC-INHIBIT*, and
   *SIG-STOP-FOR-GC-PENDING* for fatal heap exhaustions.

 * Use alloc_number instead of make_fixnum for requested/available.

16 years ago1.0.6.57: fix sb-bsd-socket build on win32
Juho Snellman [Wed, 20 Jun 2007 08:35:28 +0000 (08:35 +0000)]
1.0.6.57: fix sb-bsd-socket build on win32

         * Reported by Yaroslav Kavenchuk.

16 years ago1.0.6.56: replace CALL-WITH-DX-FUNCTION with DX-FLET
Nikodemus Siivola [Tue, 19 Jun 2007 21:00:03 +0000 (21:00 +0000)]
1.0.6.56: replace CALL-WITH-DX-FUNCTION with DX-FLET

 * Essentially same underlying macroexpansion, but more flexible in
   use, and possibly even easier to read.

 * Use DX-FLET instead of LAMBDAs in our CALL-WITH-FOO expansions
   to avoid consing up closures.

16 years ago1.0.6.55: fix ppc/linux build (probably)
Juho Snellman [Mon, 18 Jun 2007 22:42:12 +0000 (22:42 +0000)]
1.0.6.55: fix ppc/linux build (probably)

16 years ago1.0.6.54: fix building contribs from a clean checkout (oops)
Juho Snellman [Mon, 18 Jun 2007 17:52:16 +0000 (17:52 +0000)]
1.0.6.54: fix building contribs from a clean checkout (oops)

16 years ago1.0.6.53: oops, forgot to "cvs add" some new files
Juho Snellman [Mon, 18 Jun 2007 17:16:54 +0000 (17:16 +0000)]
1.0.6.53: oops, forgot to "cvs add" some new files

16 years ago1.0.6.52: mark most current tests failures on buildbot as expected
Juho Snellman [Mon, 18 Jun 2007 16:20:32 +0000 (16:20 +0000)]
1.0.6.52: mark most current tests failures on buildbot as expected

        * To make it easier to find out when there are new failures.

16 years ago1.0.6.51: clean up compiler warnings in the runtime
Juho Snellman [Mon, 18 Jun 2007 16:18:34 +0000 (16:18 +0000)]
1.0.6.51: clean up compiler warnings in the runtime

        * Patch by Robert Brown.

16 years ago1.0.6.50: better arglists for generic functions
Juho Snellman [Mon, 18 Jun 2007 16:15:54 +0000 (16:15 +0000)]
1.0.6.50: better arglists for generic functions

        * Parameter names in the lambda list of the generic function
          are given priority to those of the gf's methods, since the
          names given in the generic function are likely to be more
          general.
        * Fix merging of &key parameters of all the methods.
        * Patch by Tobias Rittweiler.

16 years ago1.0.6.49: make asdf-based contribs more friendly to :FORCE T
Juho Snellman [Mon, 18 Jun 2007 16:11:08 +0000 (16:11 +0000)]
1.0.6.49: make asdf-based contribs more friendly to :FORCE T

        * Do the groveling part of sb-grovel only at contrib build time.
          If the contrib is later recompiled, reuse the results from that
          grovel.
        * Doesn't solve the asdf-binary-locations problems related to
          groveling, but it looks as if asdf-binary-locations is already
          automatically adding SBCL_HOME into it's exceptions list.

16 years ago1.0.6.48: Don't instrument the internal flets from the PROGV expansion
Juho Snellman [Mon, 18 Jun 2007 16:02:55 +0000 (16:02 +0000)]
1.0.6.48: Don't instrument the internal flets from the PROGV expansion

        * PROGV would get compiled to BINDING-STACK-POINTER -> X, ...,
          BIND-SENTINEL, UNBIND-TO-HERE X, UNBIND-SENTINEL. So the
          UNBIND-TO-HERE would also pop the sentinel from the binding stack,
          and the UNBIND-SENTINEL would then unbalance the stack.
        * Ensure that there will only be matched BIND-SENTINEL /
          UNBIND-SENTINEL pairs between taking the binding stack pointer
          and unwinding by adding some (OPTIMIZE (INSERT-DEBUG-CATCH 0))
          declarations.
* Reported by Nikodemus

16 years ago1.0.6.47: small fixes
Nikodemus Siivola [Fri, 15 Jun 2007 16:53:43 +0000 (16:53 +0000)]
1.0.6.47: small fixes

 * When expanding the CLOS cache, insert the new value before copying
   the old ones, in order to ensure that FILL-CACHE always terminations.

 * Cancel deadline before signalling the DEADLINE-ERROR, so that same
   deadline cannot be caught again during unwind.

17 years ago1.0.6.46: better standard-specializer-p implementation
Christophe Rhodes [Mon, 11 Jun 2007 13:47:38 +0000 (13:47 +0000)]
1.0.6.46: better standard-specializer-p implementation
Instead of defining a gf with several methods, define a new
class STANDARD-SPECIALIZER to be used as a superclass to the
various specializers that are handled internally in PCL.

It's not exported, because we don't want people to subclass it:
they will not be able to implement the relevant protocols.

17 years ago1.0.6.45: fix compilation speed regression from DATA-VECTOR-REF-WITH-OFFSET
Juho Snellman [Mon, 11 Jun 2007 04:23:08 +0000 (04:23 +0000)]
1.0.6.45: fix compilation speed regression from DATA-VECTOR-REF-WITH-OFFSET

* Change the remaining x86oid DATA-VECTOR-REF VOPs to
          DATA-VECTOR-REF-WITH-OFFSETs. The VOPs only accept an offset of
          0, and are thus functionally identical to the old ones.
        * This allows replacing the conditional deftransform from D-V-R to
          D-V-R-W-O with an unconditional source-transform.
        * Rewrite transformations with (OR (SIMPLE-UNBOXED-ARRAY (*))
          SIMPLE-VECTOR) argument types to instead do the type tests in the
          body of the transform, since the test can be expressed
          in a cheaper way in the latter case.

17 years ago1.0.6.44: make WITHOUT-INTERRUPTS non-consing
Juho Snellman [Mon, 11 Jun 2007 03:29:23 +0000 (03:29 +0000)]
1.0.6.44: make WITHOUT-INTERRUPTS non-consing

* Consing up a closure for CALL-WITHOUT-INTERRUPTS is a performance
          problem, stack-allocate the closure on platforms with dx support.
        * Doing the stack-allocation properly is a bit tricky, encapsulate
          the right way into the CALL-WITH-DX-FUNCTION macro.
        * TODO: apply the same procedure to other CALL-WITH-FOOs.

17 years ago1.0.6.43: support saving and restoring code coverage state in sb-cover
Juho Snellman [Mon, 11 Jun 2007 03:14:50 +0000 (03:14 +0000)]
1.0.6.43: support saving and restoring code coverage state in sb-cover

17 years ago1.0.6.42: handle unbound markers (from BIND-SENTINEL) in unbind_to_here
Juho Snellman [Sun, 10 Jun 2007 11:10:38 +0000 (11:10 +0000)]
1.0.6.42: handle unbound markers (from BIND-SENTINEL) in unbind_to_here

* Like in the x86oid UNBIND-TO-HERE vop
        * Fixes calling SAVE-LISP-AND-DIE when the call stack contains
          functions compiled with high DEBUG quality

17 years ago1.0.6.41: optimized bignum printing
Nikodemus Siivola [Sat, 9 Jun 2007 18:31:37 +0000 (18:31 +0000)]
1.0.6.41: optimized bignum printing

 * Cache the power-vectors, the computation of which is the real
   bottleneck of bignum printing. So that we don't keep huge bignums
   forever, make GC gently scrub the cache.

 * Rename %OUTPUT-FIXNUM-IN-BASE to %OUTPUT-REASONABLE-INTEGER-IN-BASE
   and %OUTPUT-BIGNUM-IN-BASE to %OUTPUT-HUGE-INTEGER-IN-BASE.

 * The ideal cutoff point between the two algorithms isn't the
   fixnum/bignum divide, but is (on x86/Darwin) around 87 bits -- so
   make the cutoff point N-POSITIVE-FIXNUM-BITS * 3, and hope that
   makes sense on other platforms as well.

 This improves (on x86/Darwin) bignum printing speed in the reasonable
 range by 40%, and by 30% while below 2048 bits. The benefit decreases
 after that, as the GC drops bignums with over 2048 bits from the
 cache -- this doesn't show in a tight benchmarking loop, though.

17 years ago1.0.6.40: missed tests from 1.0.6.38
Nikodemus Siivola [Sat, 9 Jun 2007 09:09:06 +0000 (09:09 +0000)]
1.0.6.40: missed tests from 1.0.6.38

 ...for ADD/REMOVE-METHOD thread safety, that is.

17 years ago1.0.6.39: COMPUTE-DISCRIMINATING-FUNCTION micro-optimization
Nikodemus Siivola [Fri, 8 Jun 2007 21:24:53 +0000 (21:24 +0000)]
1.0.6.39: COMPUTE-DISCRIMINATING-FUNCTION micro-optimization

 * Old versio used WITH-SLOTS to read DFUN-STATE twice per call,
   but (let ((dfun-state (slot-value gf 'dfun-state))) ...)
   is faster, as it avoids the second lookup.

17 years ago1.0.6.38: thread and interrupt safe ADD/REMOVE-METHOD
Nikodemus Siivola [Fri, 8 Jun 2007 20:38:21 +0000 (20:38 +0000)]
1.0.6.38: thread and interrupt safe ADD/REMOVE-METHOD

 * ADD/REMOVE-METHOD need to grab the GF lock and disable interrupts.

 * ADD/REMOVE-DIRECT-METHOD, and SPECIALIZER-DIRECT-GENERIC-FUNCTIONS
   need a lock as well, but instead of adding per-specializer lock
   just use one global one: contention should be minimal here.

 * INTERN-EQL-SPECIALIZER needs a lock.

 * Fix non-threaded build.

 * Delete dead NAME variables from ADD/REMOVE-METHOD.

 * Tests.

17 years ago1.0.6.37: thread safety test for the CLOS cache
Nikodemus Siivola [Fri, 8 Jun 2007 12:47:50 +0000 (12:47 +0000)]
1.0.6.37: thread safety test for the CLOS cache

 ...better late then never.

17 years ago1.0.6.36: ALLOW-WITH-INTERRUPTS and interrupt safe WITH-MUTEX &co
Nikodemus Siivola [Fri, 8 Jun 2007 12:15:44 +0000 (12:15 +0000)]
1.0.6.36: ALLOW-WITH-INTERRUPTS and interrupt safe WITH-MUTEX &co

 * Remove the *IN-INTERRUPTION* kludge, and replace it with a
   general-purpose mechanism.

 * New variable: *ALLOW-WITH-INTERRRUPTS*. WITH-INTERRUPTS is a no-op
   unless it is true and interrupts are inhibited.

 * WITHOUT-INTERRUPTS binds *ALLOW-WITH-INTERRUPTS* to NIL, and
   establishes ALLOW-WITH-INTERRUPTS and WITH-LOCAL-INTERRUPTS as
   local macros.

   ALLOW-WITH-INTERRUPTS binds *ALLOW-WITH-INTERRUPTS* to the value it
   held before entry to WITHOUT-INTERRUPTS.

   WITH-LOCAL-INTERRUPTS is equivalent to
     (allow-with-interrups (with-interrupts ...))
   but somewhat more efficient.

 * Use the above to make WITH-MUTEX &co interrupt-safe, but still
   interruptible: WITH-FOO becomes
     (without-interrupts
       (unwind-protect
           (when (setf foo (allow-with-interrupts (get-foo)))
             (with-local-interrupts ...))
         (when foo
           (release-foo foo))))
   and GET-FOO wraps it's waiting section inside a WITH-INTERRUPTS.

 * While at it, rewrite WITH-MUTEX &co to use CALL-WITH-FOO style
   expansions.

 * Write CALL-WITH-SYSTEM-MUTEX as a more efficient alternative to:

     (without-interrupt (with-mutex ...)) ; and
     (without-gcing (with-mutex ...))

   Similarly for CALL-WITH-RECURSIVE-SYSTEM-SPINLOCK, for the benefit
   of PCL.

 * No need to signal a WARNING for WITH-INTERRUPTS inside a WITHOUT-GCING,
   as *ALLOW-WITH-INTERRUPTS* is always false there, so interrupts will
   not be enabled.

17 years ago1.0.6.35: slightly bigger +cache-vector-max-length+
Nikodemus Siivola [Fri, 8 Jun 2007 11:42:45 +0000 (11:42 +0000)]
1.0.6.35: slightly bigger +cache-vector-max-length+

17 years ago1.0.6.34: AVER that the GF lock is held during SET-DFUN
Nikodemus Siivola [Fri, 8 Jun 2007 11:40:43 +0000 (11:40 +0000)]
1.0.6.34: AVER that the GF lock is held during SET-DFUN

 ...and adjust commentary in UPDATE-DFUN.

17 years ago1.0.6.33: small CLOS cache improvements
Nikodemus Siivola [Fri, 8 Jun 2007 08:37:10 +0000 (08:37 +0000)]
1.0.6.33: small CLOS cache improvements

 * General PCL cleanups:
   -- Get rid of FUNCTION-FUNCALL and FUNCTION-APPLY: instead just
      declare the argument type. ETOOMANYLAYERSOFABSTRACTION.
   -- Implement the unused GET-FUN in terms of GET-FUN1 for clarity.

 * Use a single bitmask instead of multiply and mask to compute the
   cache index (like the original implementation).

 * Slower probe depth limit growth: caches with 1024 lines used to
   have probe depth 16, which is starting to be on the slow side, and
   some fairly common generics like PRINT-OBJECT have caches with
   enough entries that they will be large no matter what. Instead of
   (ceiling (sqrt lines) 2) make it (ceiling (sqrt (sqrt lines))).

 * Better CACHE-HAS-INVALID-ENTRIES-P (does less work, picks up
   incomplete lines.)

 * MAP-ALL-CACHES and CHECK-CACHE-CONSISTENCY for debugging and
   analysis.

 * Typo in the format string in PRINT-OBJECT (CACHE T).

 * A couple of non-CLOS optimization possibilities recorded.

17 years ago1.0.6.32: printing of layoutless structures
Nikodemus Siivola [Fri, 8 Jun 2007 07:55:53 +0000 (07:55 +0000)]
1.0.6.32: printing of layoutless structures

 * This used be conditionalized for SB-SHOW builds, but they come up often
   enough when in the debugger during PCL build that it seems worthwhile
   to keep in core.

17 years ago1.0.6.31: use proper types for STRING-DISPATCH
Nathan Froyd [Wed, 6 Jun 2007 22:28:52 +0000 (22:28 +0000)]
1.0.6.31: use proper types for STRING-DISPATCH

* We only want to let one-dimensional character strings through.
  This change will probably produce better code, too.

17 years ago1.0.6.30: clean up FD-SOUT a little bit
Nathan Froyd [Wed, 6 Jun 2007 21:12:48 +0000 (21:12 +0000)]
1.0.6.30: clean up FD-SOUT a little bit

* Apparently the bozos have been dealt with; we now receive strings
  to all calls to this function;
* Declare types appropriately.

17 years ago1.0.6.29: improved WITH-ARRAY-DATA on simple multi-dimensional arrays
Nathan Froyd [Wed, 6 Jun 2007 02:23:46 +0000 (02:23 +0000)]
1.0.6.29: improved WITH-ARRAY-DATA on simple multi-dimensional arrays

* Instead of looping to find the underlying one-dimensional simple
  array, just return it directly.

17 years ago1.0.6.28: fix UNWIND-TO-FRAME-AND-CALL for #+SB-THREAD
Juho Snellman [Tue, 5 Jun 2007 21:32:57 +0000 (21:32 +0000)]
1.0.6.28: fix UNWIND-TO-FRAME-AND-CALL for #+SB-THREAD

         * Ensure that *UNWIND-TO-FRAME-FUNCTION* has a TLS index

17 years ago1.0.6.27: make FD-SOUT slightly faster
Nathan Froyd [Tue, 5 Jun 2007 20:18:43 +0000 (20:18 +0000)]
1.0.6.27: make FD-SOUT slightly faster

* Eliminate spurious call to FIND; POSITION gives us enough info.

17 years ago1.0.6.26: fix sb-posix build on win32
Juho Snellman [Tue, 5 Jun 2007 16:17:00 +0000 (16:17 +0000)]
1.0.6.26: fix sb-posix build on win32

         * patch from Yaroslav Kavenchuk

17 years ago1.0.6.25: fix non x86oid build
Juho Snellman [Tue, 5 Jun 2007 15:28:34 +0000 (15:28 +0000)]
1.0.6.25: fix non x86oid build

         * Oops, missing an IGNORE declaration

17 years ago1.0.6.24: a more sophisticated UNWIND-TO-FRAME-AND-CALL for x86 and x86-64
Juho Snellman [Tue, 5 Jun 2007 11:42:54 +0000 (11:42 +0000)]
1.0.6.24: a more sophisticated UNWIND-TO-FRAME-AND-CALL for x86 and x86-64

        * Implement three new VOPs:
          ** UNWIND-TO-FRAME-AND-CALL constructs a fake catch block for a
             given frame pointer, runs all unwinds for that block, sets
             the frame pointer to the new value, and calls a given function.
          ** BIND-SENTINEL (stores a marker on the binding stack, used
             to determine how far the binding stack needs to be unwound
             during a U-T-F-A-C).
          ** UNBIND-SENTINEL (pops one of these markers from the stack).
        * Modify IR2 to use these VOPs when converting suitable functions.
        * Modify the IR1 translation in maybe-insert-debug-catch to only
          ensure that tail recursion doesn't happen (needed to match the
          BIND-SENTINELs with UNBIND-SENTINELs).
        * Use these to implement SB-DEBUG:UNWIND-TO-FRAME-AND-CALL:
          ** Grovel the binding stack, uwp block chain and the catch block
             chain for the values needed to reconstruct the dynamic state.
          ** Call SB-VM:U-T-F-A-C.
        * The new implementation should be substantially the same as the
          old one (minor difference in handling of functions with special
          variables in the lambda list). Some tests added to verify this.
        * New implementation is somewhat faster at runtime (a simple
          function call overhead benchmark on (DEBUG 2) improved from 3.4s
          to 2.9s), and significantly faster at compiling (generally around
          15-30% improvement with (DEBUG 2)).
        * Other platforms still use the old implementation that instruments
          the code with a CATCH during IR1 translation.
        * Based on an earlier hack by Alastair Bridgewater.

17 years ago1.0.6.23: fix a source location tracking problem in sb-cover
Juho Snellman [Tue, 5 Jun 2007 09:56:50 +0000 (09:56 +0000)]
1.0.6.23: fix a source location tracking problem in sb-cover

         * The logic for selecting the innermost form that contains
           a given character in the source file did not work correctly in
           cases where an exact location could not be found for some source
           path. This should mainly happen when reader macros are involved.
         * Instead of sorting the source paths by the length of the path,
           sort them by the length of the character range of the source
           location.

17 years ago1.0.6.22: fix occasional UNBOUND-VARIABLE errors in MAP-REFERENCING-OBJECTS
Juho Snellman [Tue, 5 Jun 2007 09:44:12 +0000 (09:44 +0000)]
1.0.6.22: fix occasional UNBOUND-VARIABLE errors in MAP-REFERENCING-OBJECTS

         * Introduced by the removal of (SAFETY 0) in room.lisp a while ago

17 years ago1.0.6.21: get rid of a runtime compiler note in the PCL cache code
Juho Snellman [Tue, 5 Jun 2007 09:41:29 +0000 (09:41 +0000)]
1.0.6.21: get rid of a runtime compiler note in the PCL cache code

         * For some reason appeared only on x86-64, not x86.

17 years ago1.0.6.20: add INSERT-ARRAY-BOUNDS-CHECKS declaration to WITH-PUSH-CHAR
Nathan Froyd [Tue, 5 Jun 2007 02:13:19 +0000 (02:13 +0000)]
1.0.6.20: add INSERT-ARRAY-BOUNDS-CHECKS declaration to WITH-PUSH-CHAR

* Part of the fun of having good abstractions is being able to
  throw all caution to the wind inside the abstraction.  This
  gives another little speedup on printing floats.

17 years ago1.0.6.19: optimize BIGNUM-TRUNCATE'ing by small powers of two
Nathan Froyd [Mon, 4 Jun 2007 23:11:46 +0000 (23:11 +0000)]
1.0.6.19: optimize BIGNUM-TRUNCATE'ing by small powers of two

* This is a common case when printing floating-point numbers.  On
  the simple "print a million single-floats" benchmark, this wins
  by about 20-25%;
* Also fold a few i+1 loop variables into their only use; doing so
  is not much worse that what we had before and slightly better if
  the backend supports DATA-VECTOR-REF-WITH-OFFSET.

17 years ago1.0.6.18: Two fixes from Eric Marsden
Christophe Rhodes [Sun, 3 Jun 2007 20:02:35 +0000 (20:02 +0000)]
1.0.6.18: Two fixes from Eric Marsden
... DEFPACKAGE :USE/:IMPORT-FROM takes package designators
... REMOVE-DUPLICATES / :TEST-NOT / vectors
Include test cases, and do a little bit of other tidying
of test case expected failures.

17 years ago1.0.6.17: Housekeeping from specializer changes
Christophe Rhodes [Sun, 3 Jun 2007 18:20:08 +0000 (18:20 +0000)]
1.0.6.17: Housekeeping from specializer changes
Comments and documentation only.