sbcl.git
14 years ago1.0.31.32: Update to Unicode 5.0.1
Christophe Rhodes [Mon, 3 Aug 2009 16:13:23 +0000 (16:13 +0000)]
1.0.31.32: Update to Unicode 5.0.1
There's more to be done, including fixing magic numbers and
documenting formats in internals, but this does the job for now, and
does wonders for my "lines changed" stats.

14 years ago1.0.30.31:
Kevin Rosenberg [Sun, 2 Aug 2009 12:47:21 +0000 (12:47 +0000)]
1.0.30.31:
        src/runtime/interrupt.c: Fix spelling error in error message

14 years ago1.0.30.30: make SB-CLTL2:VARIABLE-INFORMATION alien-aware.
Nikodemus Siivola [Sat, 1 Aug 2009 09:13:35 +0000 (09:13 +0000)]
1.0.30.30: make SB-CLTL2:VARIABLE-INFORMATION alien-aware.

 * Patch by Larry D'Anna.

14 years ago1.0.30.29: SB-CLTL2:DEFINE-DECLARATION
Nikodemus Siivola [Sat, 1 Aug 2009 09:05:01 +0000 (09:05 +0000)]
1.0.30.29: SB-CLTL2:DEFINE-DECLARATION

 * Patch by Larry D'Anna.

14 years ago1.0.30.28: SB-CLTL2:AUGMENT-ENVIRONMENT
Nikodemus Siivola [Sat, 1 Aug 2009 08:30:08 +0000 (08:30 +0000)]
1.0.30.28: SB-CLTL2:AUGMENT-ENVIRONMENT

 * Patch by Larry D'Anna.

14 years ago1.0.30.27: pretty-printing improvements
Nikodemus Siivola [Sat, 1 Aug 2009 07:57:36 +0000 (07:57 +0000)]
1.0.30.27: pretty-printing improvements

 * Improved pretty-printing of simple LOOP forms, IF, and
   MULTIPLE-VALUE-CALL. Patches by Tobias Rittweiler.

 * Improved pretty-printing of general macro calls by inspecting
   location of &BODY in the lambda-list. Patch by Tobias Rittweiler.

 * Make tests in walker.impure.lisp ignore newlines as well.

14 years ago1.0.30.26: fix failing AVER in CONVERT-MV-CALL
Nikodemus Siivola [Fri, 31 Jul 2009 13:00:17 +0000 (13:00 +0000)]
1.0.30.26: fix failing AVER in CONVERT-MV-CALL

 See https://bugs.launchpad.net/sbcl/+bug/392203

 Patch by Larry D'Anna.

 His comments:

   Ever since Spice Lisp, convert-mv-call had returned without doing
   anything if (functional-entry-fun fun) is not null, ie if fun
   possesses a XEP. 0.8.5.5 replaces this criterion with "if the last
   optional entry has references", and signals an error if the last
   optional entry has no references and the XEP exists.

   I can't know exactly what Alexy was thinking when he put the aver
   in, but I can guess: If the XEP exists it should contain a
   reference to the last entry point, so if the last entry point has
   no refs and a XEP exists something went wrong. However, if the
   number of required + optional arguments is 0, then XEP doesn't need
   the "last" entry point, it can always use the "more" entry point
   instead, which is exactly what seems to have happened in this case.

   This patch combines the two conditions. convert-mv-call will return
   without action if *either* a XEP exists, *or* the last optional
   entry has references."

14 years ago1.0.30.25: deftransform for ARRAY-IN-BOUNDS-P
Nikodemus Siivola [Fri, 31 Jul 2009 12:14:00 +0000 (12:14 +0000)]
1.0.30.25: deftransform for ARRAY-IN-BOUNDS-P

 * Patch by Leslie Polzer.

 * Also give notes when giving up in ARRAY-TYPE-DIMENSIONS-OR-GIVE-UP.

14 years ago1.0.30.24: hopefully fix _long_ SLEEP issues on OpenBSD
Nikodemus Siivola [Fri, 31 Jul 2009 09:42:20 +0000 (09:42 +0000)]
1.0.30.24: hopefully fix _long_ SLEEP issues on OpenBSD

 * OpenBSD refuses to nanosleep() over 100 million seconds (returning
   EINVAL), so loop with 100 million second sleeps till the time left
   is smaller than that.

   ...who knows, maybe there is a good reason to sleep over 3 years?

   Bug reported by Johsh Elsasser.

14 years ago1.0.30.23: adjust OpenBSD address spaces on x86
Nikodemus Siivola [Fri, 31 Jul 2009 09:19:19 +0000 (09:19 +0000)]
1.0.30.23: adjust OpenBSD address spaces on x86

 * Patch by Josh Elsasser. He says:

   "The current address space locations for x86 OpenBSD are adequate,
   but could still be better chosen. The only real problem with the
   current addresses is that the default dynamic space size is larger
   than the default data size resource limit, which means that sbcl
   will not run without some tweaking. Attached is a patch to lower
   the dynamic space size, as well as move all spaces to locations
   which I suspect may prove more future-proof against OpenBSD
   changes. The patch also greatly expands the OpenBSD comment. I
   apologize for the verbosity, but the address space layout on
   OpenBSD/i386 is quite complex and I wanted to record the details
   before I forgot (again)."

   Committing untested, as I don't have an OpenBSD system available.

14 years ago1.0.30.22: better DELETE-FILE on streams
Nikodemus Siivola [Fri, 31 Jul 2009 09:11:15 +0000 (09:11 +0000)]
1.0.30.22: better DELETE-FILE on streams

 * Don't close the stream on Unix, so users can enjoy the normal
   Unixy-IO to unlinked files.

 * On Windows, close the stream with :ABORT NIL, so that there
   is no danger of close trying to delete file as well.

   Bug with DELETE-FILE trying to delete files twice reported by
   John Fremlin.

14 years ago1.0.30.21: prettier STYLE-WARNINGS for incompatible type proclamations
Nikodemus Siivola [Thu, 30 Jul 2009 14:10:39 +0000 (14:10 +0000)]
1.0.30.21: prettier STYLE-WARNINGS for incompatible type proclamations

 * Print the specifier, not the type object.

14 years ago1.0.30.20: less DEFGENERIC clobbers FTYPE STYLE-WARNINGS
Nikodemus Siivola [Thu, 30 Jul 2009 13:36:43 +0000 (13:36 +0000)]
1.0.30.20: less DEFGENERIC clobbers FTYPE STYLE-WARNINGS

 * Remove the declamation from DESCRIBE-OBJECT.

 * Make SBCL warn only if the new type is more general than the old
   type.

 * In NOTE-GF-SIGNATURE, use the existing GF lambda-list if the user
   didn't provide one to ENSURE-GENERIC-FUNCTION. This allows us to
   deduce sufficiently good types for condition slot readers from the
   lambda-list to elide the warning.

14 years ago1.0.30.19: optimize (COERCE X 'VECTOR) as well
Nikodemus Siivola [Thu, 30 Jul 2009 11:37:12 +0000 (11:37 +0000)]
1.0.30.19: optimize (COERCE X 'VECTOR) as well

14 years ago1.0.30.18: undefined variables in contribs
Nikodemus Siivola [Thu, 30 Jul 2009 11:02:21 +0000 (11:02 +0000)]
1.0.30.18: undefined variables in contribs

 * No MSG_NOSIGNAL on Darwin. It was also groveled twice on Linux.

 * Tyop in SB-SIMPLE-STREAMS.

 ...the real question is why ASDF didn't consider these failures,
 though. Grumble.

14 years ago1.0.30.17: generalize the previous COERCE optimization a bit
Nikodemus Siivola [Thu, 30 Jul 2009 09:51:57 +0000 (09:51 +0000)]
1.0.30.17: generalize the previous COERCE optimization a bit

 * As noted by Christophe Rhodes, this is simple enough to apply to
   non-simple one-dimensional recognizable subtypes of ARRAY. ...and
   (COERCE X 'STRING) is so tempting to write that it is worth
   optimizing too.

   Need to take some care with things like

     (COERCE X '(BIT-VECTOR (NOT SIMPLE-BIT-VECTOR)))

   though.

   Add compiler notes as well.

14 years ago1.0.30.16: faster COERCE for various (SIMPLE-ARRAY * (*)) subtypes
Nikodemus Siivola [Wed, 29 Jul 2009 19:14:46 +0000 (19:14 +0000)]
1.0.30.16: faster COERCE for various (SIMPLE-ARRAY * (*)) subtypes

 * Optimize for all regonizable subtypes.

 * Also optimize for SIMPLE-STRING.

14 years ago1.0.30.15: more complete SB-CLTL2:DECLARATION-INFORMATION
Nikodemus Siivola [Wed, 29 Jul 2009 16:15:42 +0000 (16:15 +0000)]
1.0.30.15: more complete SB-CLTL2:DECLARATION-INFORMATION

 * (DECLARATION-INFORMATION 'DECLARATION) returns a list of
   declaration names that have been proclaimed as valid.

   Patch by Larry D'Anna.

14 years ago1.0.30.14: some SB-CLTL2 docstrings
Nikodemus Siivola [Wed, 29 Jul 2009 16:01:29 +0000 (16:01 +0000)]
1.0.30.14: some SB-CLTL2 docstrings

 * Add docstrings for DECLARATION-INFORMATION, PARSE-MACRO and ENCLOSE.

 * Rename a test for variable-information that had the same name as another.

   Patch by Larry D'Anna, prose and indentation somewhat altered
   by yours truly.

14 years ago1.0.30.13: SB-EXT:CONSTANT-FUNCTION does not exits
Nikodemus Siivola [Wed, 29 Jul 2009 15:36:58 +0000 (15:36 +0000)]
1.0.30.13: SB-EXT:CONSTANT-FUNCTION does not exits

 * Remove reference to it from the manual.

14 years ago1.0.30.12: make SB-GROVEL ASDF:OOS :FORCE T friendly
Nikodemus Siivola [Wed, 29 Jul 2009 15:34:15 +0000 (15:34 +0000)]
1.0.30.12: make SB-GROVEL ASDF:OOS :FORCE T friendly

 * Use INTERN instead of GENTEMP to generate padding names.

   Patch by Leslie Polzer.

14 years ago1.0.30.11: autogenerate tagname information for LDB in genesis
Nikodemus Siivola [Wed, 29 Jul 2009 15:15:31 +0000 (15:15 +0000)]
1.0.30.11: autogenerate tagname information for LDB in genesis

 * Also remove some 32-bit assumption from LDB, and
   add missing array types there.

   Patch by Luis Oliveira.

 * Also fix the DESCRIBE buglet credit in NEWS.

14 years ago1.0.30.10: DESCRIBE reports on undefined but assumed/declared functions
Nikodemus Siivola [Wed, 29 Jul 2009 14:51:23 +0000 (14:51 +0000)]
1.0.30.10: DESCRIBE reports on undefined but assumed/declared functions

 * If FTYPE has been declared, report it even if the function is
   not defined.

 * If calls to the function have been compiled, report it with
   an "assumed type" -- for now that is always FUNCTION, though.

14 years ago1.0.30.9: improved generic-function FTYPE handling
Nikodemus Siivola [Wed, 29 Jul 2009 14:48:51 +0000 (14:48 +0000)]
1.0.30.9: improved generic-function FTYPE handling

 * Use :DEFINED-METHOD as :WHERE-FROM even if there is no explicit
   DEFGENERIC -- initial type becomes FUNCTION.

 * Also signal a style-warning when the FTYPE is clobbered by a
   generic function -- though in this case it is more "bad SBCL style"
   than bad user style... but at least the user will know that
   something unexpected is going on. (Clobbering itself is not new.)

14 years ago1.0.30.8: redo the recent FP optimizations in a better way
Nikodemus Siivola [Wed, 29 Jul 2009 13:35:33 +0000 (13:35 +0000)]
1.0.30.8: redo the recent FP optimizations in a better way

 * Multiplication and division should respect signed zeros.

 * Optimize division to multiplication by reciprocal when an exact
   reciprocal exits -- and always for FLOAT-ACCURACY=0. (Thanks
   to Paul Khuong!)

14 years ago1.0.30.7: refactor debugging cruft in definition of FXCH
Nikodemus Siivola [Tue, 28 Jul 2009 18:25:18 +0000 (18:25 +0000)]
1.0.30.7: refactor debugging cruft in definition of FXCH

 * Change a call to BREAK into an AVER. Thanks to Tobias Rittweiler.

 * Also fix topy in GET-TIME-OF-DAY dogstring.

14 years ago1.0.30.6: fix minor bug in DESCRIBE
Nikodemus Siivola [Tue, 28 Jul 2009 17:41:39 +0000 (17:41 +0000)]
1.0.30.6: fix minor bug in DESCRIBE

 * Generic functions defined by non-toplevel DEFMETHODs may
   have an :ASSUMED :WHERE-FROM in globaldb.

14 years ago1.0.30.5: optimize some floating point operations
Nikodemus Siivola [Tue, 28 Jul 2009 17:12:25 +0000 (17:12 +0000)]
1.0.30.5: optimize some floating point operations

 * Convert (/ <float> <one>) to (+ <float> <zero>), and similarly for *.

 * Convert (/ <float> <minus-one>) to (+ (%negate <float>) <zero>), and
   similarly for *.

 * Convert (* <float> <two>) to (+ <float> <float>).

 * Iff FLOAT-ACCURACY is zero, convert (+ <float> <zero>) and (- <float> <zero>)
   to <float>.

14 years ago1.0.30.4: cfasl support
Juho Snellman [Mon, 20 Jul 2009 04:26:31 +0000 (04:26 +0000)]
1.0.30.4: cfasl support

        Experimental support for compiling any toplevel compile-time
        effects to a separate cfasl file, in addition to evaluating
        them.

        * Open a second fasl output stream if :EMIT-CFASL is passed to
          COMPILE-FILE. In the places where we'd normally evaluate the body
          of a EVAL-WHEN :COMPILE-TOPLEVEL do both the evaluation and do a
          normal compilation of the form, with the output going to the second
          fasl stream.
        * Fix a couple of places where a %compiler-defun would assume it'd
          never be called outside the compiler (now it can be called during
          cfasl loading).
        * Remove the timestamps from the human-readable fasl header. They're
          not really useful for anything, and make the cfasls less deterministic
          and thus less useful.

14 years ago1.0.30.3: deal with load-time-value constants more aggressively
Paul Khuong [Sat, 18 Jul 2009 17:53:00 +0000 (17:53 +0000)]
1.0.30.3: deal with load-time-value constants more aggressively

* Revert 1.0.29.54.rc5 to allow constant moves from LTV TNs.

* Modify the relevant VOPs to handle LTV constants correctly.
  While this mostly results in duplicated code, VOPs can generate
  better code even for unknown values in the constant vector.

14 years ago1.0.30.2: more aggressive constant-folding
Paul Khuong [Sat, 18 Jul 2009 17:44:42 +0000 (17:44 +0000)]
1.0.30.2: more aggressive constant-folding

* Allow constant-folding on values of an EQL type.

* Fix a buggy :load-if in x86-64 float EQLs VOPs.

14 years ago1.0.30.1: correct nested DX handling
Nikodemus Siivola [Sat, 18 Jul 2009 16:58:37 +0000 (16:58 +0000)]
1.0.30.1: correct nested DX handling

* RECHECK-DYNAMIC-EXTENT-LVARS must deal with nested lvars as well:
  LVAR-GOOD-FOR-DX-P may return true because a nested call is actually
  good for DX, not because the lvar itself _is_ automatically DX.

  So, if the compiler has rearranged things a bit, we
  RECHECK-DYNAMIC-EXTENT-LVARS may believe that something is DX without
  the LVAR of the actual value producer being marked as such: compiler
  confusion and miscompilation follows. (And no stack-allocation
  failure note even though the value is actually heap allocated.)

  Fixing this is just a matter of using
  HANDLE-NESTED-DYNAMIC-EXTENT-LVARS in during the rechecking as well.

* ...however, doing _that_ also makes us stack allocate values from
  non-DX single-use variables substituted into DX expressions (the
  "otherwise inaccessible" vs "otherwise inaccessed" distinction) --
  which is not good, so disable single-use variable substitution when
  the target is DX unless the source is as well. One ASSERT-NO-CONSING
  test case needs to be removed because of this:

   (let* ((a (list 1 2 3))
          (b (the list a)))
      (declare (dynamic-extent b))
      ...)

  should not stack allocate A!

* It's not all whack-a-mole: this takes care of many previous cases
  where the compiler refused to stack allocate in the presence of
  non-trivial nested inline expansions, _and_ allows us the get rid of
  MAYBE-PROPAGATE-DYNAMIC-EXTENT, since the recheck pass now catches
  all the cases that was needed for.

14 years ago1.0.30: release, will be tagged as sbcl_0_1_0_30
Nikodemus Siivola [Fri, 17 Jul 2009 21:20:31 +0000 (21:20 +0000)]
1.0.30: release, will be tagged as sbcl_0_1_0_30

14 years ago1.0.29.54.rc5: fix load-time-value regressions
Nikodemus Siivola [Wed, 8 Jul 2009 13:34:56 +0000 (13:34 +0000)]
1.0.29.54.rc5: fix load-time-value regressions

* (SPECIFIIER-TYPE 'FUNCTION) is not a FUN-TYPE.

* Don't allow constant moves from LTV TNs (better fix after release):
  this is the simple and obviously correct fix.

* Also declaim the type of the correct function in the test-case from
  last commit.

14 years ago1.0.29.54.rc4: correct loading of first FP operand as inline constant
Nikodemus Siivola [Wed, 8 Jul 2009 12:55:11 +0000 (12:55 +0000)]
1.0.29.54.rc4: correct loading of first FP operand as inline constant

* x86-64 only.

14 years ago1.0.29.54.rc3: Make float tests consume less memory
Paul Khuong [Mon, 6 Jul 2009 13:18:09 +0000 (13:18 +0000)]
1.0.29.54.rc3: Make float tests consume less memory

* A test introduced in 1.0.29.44 uses a lot of memory during compilation. Split
  the definition into multiple toplevel functions to avoid exhausting the heap.

14 years ago1.0.29.54.rc2: two more CTOR optimization issues
Nikodemus Siivola [Wed, 1 Jul 2009 15:13:09 +0000 (15:13 +0000)]
1.0.29.54.rc2: two more CTOR optimization issues

* Invalid calls of the form (MAKE-INSTANCE ''QUUX) or similar reported
  hard to understand errors instead of using the NO-APPLICABLE-METHOD
  machinery. (reported by Gabor Melis)

* Runtime generation of new CTORs for the inline cache was not thread
  safe: grab *WORLD-LOCK* to ansure that (1) all CTORs end up in
  *ALL-CTORS* (2) we don't construct a CTOR with the same name twice.
  Also initialize the new CTOR with the initial constructor before
  setting its FDEFINITION: this is strictly speaking not needed given
  the lock, but more clearly correct. No test-case, as I was unable to
  actually provoke problem in real code.

14 years ago1.0.29.54.rc1: pre-release freeze start
Nikodemus Siivola [Mon, 29 Jun 2009 07:46:49 +0000 (07:46 +0000)]
1.0.29.54.rc1: pre-release freeze start

14 years ago1.0.29.54: Inline unboxed constants on x86[-64]
Paul Khuong [Sun, 28 Jun 2009 21:37:05 +0000 (21:37 +0000)]
1.0.29.54: Inline unboxed constants on x86[-64]

* New build-time feature: inline-constants, which specifies that SB!C
  and SB!VM implement a protocol described in base-target-features.lisp-expr.
  Backends implementing that feature are able to load constants from code
  components, in a section that follows the actual executable code.

* Implement the protocol on x86 and x86-64, and use it for float constants,
  and, on x86-64 only, mid-sized (> 2^(29-32), but still machine-sized)
  integers.

* Use the new feature in integer and float arithmetic VOPs.

* Adjust a few test cases to take newly consing situations into account.

* Clean-up:
  - New build-time feature: float-eql-vops, which disable rewriting EQL
    of single and double floats in terms of foo-float*-bits.
  - Fix a typo (unused variable lookup) in TWO-ARG-+/-

14 years ago1.0.29.53: ...really this time...
Nikodemus Siivola [Sun, 28 Jun 2009 21:21:04 +0000 (21:21 +0000)]
1.0.29.53: ...really this time...

 (Missed version.lisp-expr and tests/compiler-test-util.lisp)

14 years ago1.0.29.53: some LOAD-TIME-VALUE smartness
Nikodemus Siivola [Sun, 28 Jun 2009 21:18:44 +0000 (21:18 +0000)]
1.0.29.53: some LOAD-TIME-VALUE smartness

* Implicit READ-ONLY-P for obviously immutable values.

* Annotate the result with a derived type -- in practice
  the obvious declarared type of the function, if any.

* In the test suite organize compiler tests a bit:

  ** compiler-test-util.lisp has some general-purpose
     tools for determining if the compiled code passes muster.

  ** Move some pure tests from compiler.impure.lisp to the pure
     file: they were in the impure file because they defined
     utils which are now in the COMPILER-TEST-UTIL (aka CUA)
     package.

14 years ago1.0.29.52: small UCD optimizations and related cleanups
Nikodemus Siivola [Sun, 28 Jun 2009 14:45:38 +0000 (14:45 +0000)]
1.0.29.52: small UCD optimizations and related cleanups

* Fix "optimization failure with anything using
  SB-IMPL::UCD-GENERAL-CATEGORY" reported by Lynn Quam
  (https://bugs.launchpad.net/sbcl/+bug/392206) and related
  performance issues.

  ** Declare returns types of UCD accessors where it seems to matter.

  ** Make the character database a global variable, not special.

* Delete stale header comments from target-char.lisp: not just ASCII
  for quite a while now.

* Delete references to fonts and bits from docstrings everywhere but
  in CHAR-INT and canonicalize docstring indentation.

(The patch is a bit noisy because moving the definition of the
character database inside the macrolet messed up a whole bunch of
indentation -- sorry about that.)

14 years ago1.0.29.51: correctly compute default initargs for FAST-MAKE-INSTANCE
Nikodemus Siivola [Sun, 28 Jun 2009 10:55:52 +0000 (10:55 +0000)]
1.0.29.51: correctly compute default initargs for FAST-MAKE-INSTANCE

* Ooops, can't use DEFAULT-INITARGS, since calling it executes the
  initforms. Define and use CTOR-DEFAULT-INITARGS.

* A better test-case.

* Reported by Leslie P. Polzer.

14 years ago1.0.29.50: update ASDF
Nikodemus Siivola [Sat, 27 Jun 2009 09:28:16 +0000 (09:28 +0000)]
1.0.29.50: update ASDF

* Not from cclan anymore, but http://common-lisp.net/project/asdf/asdf.git

14 years ago1.0.29.49: silence compiler note for type-checks from MAKE-INSTANCE in safe code
Nikodemus Siivola [Sat, 27 Jun 2009 09:02:04 +0000 (09:02 +0000)]
1.0.29.49: silence compiler note for type-checks from MAKE-INSTANCE in safe code

* Reported by Samium Gromoff.

14 years ago1.0.29.48: compute default initargs for SB-PCL::FAST-MAKE-INSTANCE
Nikodemus Siivola [Fri, 26 Jun 2009 20:45:04 +0000 (20:45 +0000)]
1.0.29.48: compute default initargs for SB-PCL::FAST-MAKE-INSTANCE

* Reported by Lars Rune Nøstdal.

* SB-PCL::DEFAULT-INITARGS doesn't have to be a generic function.

* Test-case.

14 years ago1.0.29.47: Floating point correctness improvement
Paul Khuong [Fri, 26 Jun 2009 16:54:18 +0000 (16:54 +0000)]
1.0.29.47: Floating point correctness improvement

* Don't perform constant folding for addition/subtraction of 0
  or multiplication/division/exponentiation by +/- 1 on float
  types.

* Also operate on the imaginary part for generic addition and
  subtraction with mixed complex/real arguments, as specified.

* Update NEWS for 10.29.44.

14 years ago1.0.29.46: export SB-POSIX:FILENAME and SB-POSIX:FILE-DESCRIPTOR
Nikodemus Siivola [Fri, 26 Jun 2009 15:56:09 +0000 (15:56 +0000)]
1.0.29.46: export SB-POSIX:FILENAME and SB-POSIX:FILE-DESCRIPTOR

* Also define the non-designator types, and export the designator
  types.

* Document both types and functions separately, moving the docs from
  manual into docstrings.

* Extend FILENAME-DESIGNATOR for STREAMS for consistency with pathnames.

14 years ago1.0.29.45: another CTOR optimization
Nikodemus Siivola [Thu, 25 Jun 2009 17:11:05 +0000 (17:11 +0000)]
1.0.29.45: another CTOR optimization

* If we're forced to use the fallback generator, but the initargs can be
  verified early on and there are no extra methods on MAKE-INSTANCE
  we don't have to go through full MAKE-INSTANCE: instead use
  FAST-MAKE-INSTANCE. 1 less GF call and no initarg checking at runtime
  yields a ~2-4 fold performance improvement.

14 years ago1.0.29.44: Complex float improvements
Paul Khuong [Thu, 25 Jun 2009 15:37:05 +0000 (15:37 +0000)]
1.0.29.44: Complex float improvements

* On all platforms:
 - Slightly more stable complex-complex float (double and single)
   division;
 - New transform for real-complex division;
 - complex-real and real-complex float addition and subtraction
   behave as though the real was first upgraded to a complex, thus
   losing the sign of any imaginary zero.

* On x86-64
 - Complexes floats are represented packed in a single SSE register;
 - VOPs for all four arithmetic operations, complex-complex, but also
   complex-real and real-complex, except for complex-complex and
   real-complex division;
 - VOPs for =, negate and conjugate of complexes (complex-real and
   complex-complex);
 - VOPs for EQL of floats (real and complexes).
 - Full register moves for float values in SSE registers should also
   speed scalar operations up.

14 years ago1.0.29.43: SSE{1,2} instruction definitions on x86-64
Paul Khuong [Thu, 25 Jun 2009 15:26:10 +0000 (15:26 +0000)]
1.0.29.43: SSE{1,2} instruction definitions on x86-64

* Most definitions have barely been tested.

* Small disassembler bugfix for an SSE instruction format also included.

14 years ago1.0.29.42: small fixoid for the EXPT optimization from 1.0.29.40
Nikodemus Siivola [Thu, 25 Jun 2009 15:00:34 +0000 (15:00 +0000)]
1.0.29.42: small fixoid for the EXPT optimization from 1.0.29.40

* EQL -1, not 1 -- no easily observable difference, but this one gets
  the branchless version actually used.

14 years ago1.0.29.41: inline CTOR caches for MAKE-INSTANCE
Nikodemus Siivola [Thu, 25 Jun 2009 14:55:41 +0000 (14:55 +0000)]
1.0.29.41: inline CTOR caches for MAKE-INSTANCE

* If MAKE-INSTANCE has constant keywords but a variable first argument,
  build an inline cache of CTORs.

  ** Initially a sorted list, switching to a max 256 entry table if
     the list grows too large.

  ** Rename CTOR-NAME to CTOR-NAME-OR-CLASS, and allow building CTORs
     for class arguments as wel. Similarly, CTOR function names
     can contain class objects as well.

  ** Factor out RANDOMLY-PUNTING-LAMBDA from cache.lisp, since CTOR
     cache wants it too.

  ** STD-INSTANCE-P and FSC-INSTANCE-P become functions with compiler
     macros -- they are now used in compiler-support.lisp, which
     is built before low.lisp, so using macros is out.

* Also enable the existing CTOR optimization for constant class objects
  as class arguments.

* Tests.

14 years ago1.0.29.40: more (EXPT MINUS-ONE INTEGER) optimization
Nikodemus Siivola [Thu, 25 Jun 2009 11:26:57 +0000 (11:26 +0000)]
1.0.29.40: more (EXPT MINUS-ONE INTEGER) optimization

* Branchless version, thanks to Paul Khuong.

* Also optimize -1.0 and -1.0d0 cases.

* Tests.

14 years ago1.0.29.39: SLEEP on large integers
Nikodemus Siivola [Thu, 25 Jun 2009 10:32:55 +0000 (10:32 +0000)]
1.0.29.39: SLEEP on large integers

* Truncate arguments to nanosleep to SIGNED-WORD -- sleeping for 68
  years should be enough for anyone. (reported by Leslie Polzer, patch
  by Stas Boukarev)

* Also fix a snafu from the last commit: GET-UNIVERSAL-TIME, not
  GET-INTERNAL-REAL. Feh.

14 years ago1.0.29.38: better DESCRIBE
Nikodemus Siivola [Thu, 25 Jun 2009 09:40:22 +0000 (09:40 +0000)]
1.0.29.38: better DESCRIBE

* Rework DESCRIBE for more comprehensive reporting and
  easier to read output.

* Delete src/pcl/describe.lisp, no PCL leftovers in the new DESCRIBE
  except for some heritage in DESCRIBE-INSTANCE.

* Fix COMPILED timestamps: we want both internal-real and universal
  time for different use-cases. (Though I'm not sure if we really care
  about the COMPILED timestamps that much, especially now that I
  unilaterally removed their printing from DESCRIBE.)

* Give primitive type transform functions the lambda-list of the type.

14 years ago1.0.29.37: fix control stack exhuastion regression on x86 darwin
Gabor Melis [Wed, 24 Jun 2009 20:03:43 +0000 (20:03 +0000)]
1.0.29.37: fix control stack exhuastion regression on x86 darwin

... caused by 1.0.29.32.

https://bugs.launchpad.net/bugs/391620

14 years ago1.0.29.36: another regression from 1.0.29.27
Nikodemus Siivola [Wed, 24 Jun 2009 15:14:44 +0000 (15:14 +0000)]
1.0.29.36: another regression from 1.0.29.27

* Need to be able to load zero-length .lisp files -- but still
  disallow loading of empty fasls.

* Reported by Martin Cracauer.

14 years ago1.0.29.35: regression from 1.0.29.27
Nikodemus Siivola [Wed, 24 Jun 2009 14:33:18 +0000 (14:33 +0000)]
1.0.29.35: regression from 1.0.29.27

* If the runtime namestring is not available, don't try to parse it.

* Reported by Josh Elsasser.

14 years ago1.0.29.34: hopefully thread-safe SB-PROFILE
Nikodemus Siivola [Mon, 22 Jun 2009 16:06:22 +0000 (16:06 +0000)]
1.0.29.34: hopefully thread-safe SB-PROFILE

* Nuke PCOUNTER stuff, and replace it with a COUNTER local to
  profile.lisp:

  ** New counter uses ATOMIC-INCF for atomicity, plus a lock and
     an overflow counter to handle counts over word in size.

  ** Stack allocate counters and counter value cells when possible
     to reduce overhead.

* Nuke the FASTBIG-stuff. A generic arithmetic call with fixnum args
  is not that slow -- and if it turns out to be too slow after all,
  then the compiler should take care of this under appropriate policy
  instead of us using hacks like this.

* Test case from Volkan Yazici.

14 years ago1.0.29.33: fix compilation with QSHOW_SIGNAL_SAFE on win32
Gabor Melis [Mon, 22 Jun 2009 13:00:14 +0000 (13:00 +0000)]
1.0.29.33: fix compilation with QSHOW_SIGNAL_SAFE on win32

14 years ago1.0.29.32: SCRUB-CONTROL-STACK related changes
Gabor Melis [Mon, 22 Jun 2009 12:58:22 +0000 (12:58 +0000)]
1.0.29.32: SCRUB-CONTROL-STACK related changes

- remove unused count logic from SCRUB-CONTROL-STACK

- fix SCRUB-CONTROL-STACK being uncareful about touching the guard
  page

- threads stopped by gc do a quick scrubbing of the control stack to
  slightly lessen the probability of uninitialized stack locations
  pointing to live objects

14 years ago1.0.29.31: new contrib: SB-QUEUE
Nikodemus Siivola [Mon, 22 Jun 2009 11:53:51 +0000 (11:53 +0000)]
1.0.29.31: new contrib: SB-QUEUE

* Lockless thread-safe FIFO queue.

14 years ago1.0.29.30: oops, get documentation for built-in macros right
Nikodemus Siivola [Mon, 22 Jun 2009 08:05:46 +0000 (08:05 +0000)]
1.0.29.30: oops, get documentation for built-in macros right

* Reported by Harald Hanche-Olsen.

14 years ago1.0.29.29: (one more)^3 DIRECTORY regression
Nikodemus Siivola [Sun, 21 Jun 2009 21:59:22 +0000 (21:59 +0000)]
1.0.29.29: (one more)^3 DIRECTORY regression

* Fix /*/foo: refactoring left lambdas where none were needed, so the
  iteration code was never run at all for non-leaf cases.

* Test-cases...

14 years ago1.0.29.28: optimize (EXPT -1 INTEGER)
Nikodemus Siivola [Sun, 21 Jun 2009 18:19:25 +0000 (18:19 +0000)]
1.0.29.28: optimize (EXPT -1 INTEGER)

* Patch by Stas Boukarev.

14 years ago1.0.29.27: add shebang line to fasls
Nikodemus Siivola [Sun, 21 Jun 2009 16:30:32 +0000 (16:30 +0000)]
1.0.29.27: add shebang line to fasls

* Don't advertise yet, and don't make fasls executable out of the box
  -- since the SBCL version used to run the fasl has to be the same as
  compiled it this is clearly not good for distributing stuff in
  general, just for local convenience.

14 years ago1.0.29.26: robustify GENTEMP against pretty-printer
Nikodemus Siivola [Sun, 21 Jun 2009 14:57:37 +0000 (14:57 +0000)]
1.0.29.26: robustify GENTEMP against pretty-printer

* Patch by Alex Plotnick.

14 years ago1.0.29.25: make SB-INTROSPECT pass tests on PPC and Sparc
Nikodemus Siivola [Sun, 21 Jun 2009 12:16:03 +0000 (12:16 +0000)]
1.0.29.25: make SB-INTROSPECT pass tests on PPC and Sparc

* Patch by Bruce O'Neel.

14 years ago1.0.29.24: preserve docstrings for local and anonymous functions
Nikodemus Siivola [Sun, 21 Jun 2009 10:26:24 +0000 (10:26 +0000)]
1.0.29.24: preserve docstrings for local and anonymous functions

  Based on patch by Lessie Polzer:

* Rename SIMPLE-FUN-XREFS to SIMPLE-FUN-INFO. Slot holds the docstring
  and/or XREF vector for the function. This saves space in the common
  case of no dostring -- the patch actually ends up shrinking
  sbcl.core a bit.

* Teach the compiler how to grab the docstrings from LAMBDAs and how
  to preserve them for the lambdas constructed for FLET and LABELS
  functions.

* Store COMPILER-MACRO documentation in the COMPILER-MACRO-FUNCTION.

* Store macro documentation in the MACRO-FUNCTION.

* Nuke (INFO :FUNCTION :DOCUMENTATION).

14 years ago1.0.29.23: simple-fun and closure cleanups
Nikodemus Siivola [Sat, 20 Jun 2009 13:48:46 +0000 (13:48 +0000)]
1.0.29.23: simple-fun and closure cleanups

* Reorganize things a bit between kernel.lisp and target-misc.lisp for
  clarity, ditto for the package-data-lisp.expr.

* Define SIMPLE-FUN, CLOSURE, and FUNCALLABLE-INSTANCE types, and use
  them instead of manually checking for widetags in various places.

* Implement (SETF %FUN-LAMBDA-LIST), and make it work on interpreted
  functions as well by giving them an DEBUG-LAMBDA-LIST. Use in
  DEFMACRO and DEFINE-COMPILER-MACRO instead of looking at the widetags.

* Make (SETF %FUN-NAME) to work: on closures just change the name of
  the underlying function and let the callers beware. On interpreted
  functions change the new DEBUG-NAME slot instead of NAME. Use in
  DEFMACRO and DEFINE-COMPILER-MACRO.

* Implement and use DO-CLOSURE-VALUES to walk over closure environment
  instead of manually iterating over indexes.

* Use %FUN-FUN in FUN-DEBUG-FUN, and %FUN-LAMBDA-LIST in the
  SB-ACLREPL::INSPECTED-PARTS.

* Remove the commented out (SETF %FUN-NAME) from DEFUN: the compiler
  does the right thing, and for the debugger to have a useful name it
  has to be on the SIMPLE-FUN at any rate, so...

* Slightly nicer DESCRIBE of interpreted functions.

14 years ago1.0.29.22: smattering of DOCUMENTATION cleanups
Nikodemus Siivola [Sat, 20 Jun 2009 11:37:25 +0000 (11:37 +0000)]
1.0.29.22: smattering of DOCUMENTATION cleanups

* Delete stale function documentation: STEP-CONDITION-SOURCE-PATH and
  STEP-CONDITION-PATHNAME no longer exist.

* Move RANDOM-DOCUMENTATION to SB-KERNEL, use it in FDOCUMENTATION.

* Replace bare INFO calls from DOCUMENTATION methods with calls to
  FDOCUMENTATION, as per FIXME.

* Make FDOCUMENTATION work on '(SETF FOO) names, and delete the
  DEFKNOWNs for it.

14 years ago1.0.29.21: less strict os-provides-dladdr.c
Nikodemus Siivola [Sat, 20 Jun 2009 09:31:50 +0000 (09:31 +0000)]
1.0.29.21: less strict os-provides-dladdr.c

* Allows us to use dladdr on FC6, where previous test failed because
  we expected an exact match on the name for "printf", whereas the
  name we got is "_IO_printf".

  IIRC the reason for the name was that some marginal platform had a
  dladdr that always returned "unknown function" or something like
  that -- here's hoping that's not the case anymore, but if it is,
  testing that the return value is not a placeholder string like that
  is probably better.

14 years ago1.0.29.20: fix build breakage from 1.0.29.12 (PPC and MIPS, hopefully)
Nikodemus Siivola [Sat, 20 Jun 2009 09:08:09 +0000 (09:08 +0000)]
1.0.29.20: fix build breakage from 1.0.29.12 (PPC and MIPS, hopefully)

* Typos in make-config.sh PPC parts. Reported by Bruce O'Neel.

* MIPS was missing :STACK-ALLOCATABLE-VECTORS.

14 years ago1.0.29.19: robustify SYMBOL-VALUE-IN-THREAD
Nikodemus Siivola [Thu, 18 Jun 2009 19:19:44 +0000 (19:19 +0000)]
1.0.29.19: robustify SYMBOL-VALUE-IN-THREAD

* Deal with UNBOUND-MARKER-WIDETAG, bogus values, and GC potentially
  moving the object.

* Disable one of the test on Darwin as it deadlocks for reasons which
  seem to have nothing to do with S-V-I-T, but rather re-entrancy and
  signal-handler safety of OS provided C functions.

14 years ago1.0.29.18: delete more debugging cruft that should never have been committed
Nikodemus Siivola [Thu, 18 Jun 2009 14:14:34 +0000 (14:14 +0000)]
1.0.29.18: delete more debugging cruft that should never have been committed

...sorry about the noise.

14 years ago1.0.29.17: SYMBOL-VALUE-IN-THREAD
Nikodemus Siivola [Thu, 18 Jun 2009 12:41:13 +0000 (12:41 +0000)]
1.0.29.17: SYMBOL-VALUE-IN-THREAD

* Build on top of %SYMBOL-VALUE-IN-THREAD, document and export from
  SB-THREAD. Write a bunch of test-cases.

* New condition: SB-THREAD:THREAD-ERROR. Inherit from it in
  JOIN-THREAD-ERROR and INTERRUPT-THREAD-ERROR, and deprecate
  JOIN-THREAD-ERROR-THREAD and INTERRUPT-THREAD-ERROR-THREAD in favor
  of THREAD-ERROR-THREAD.

* General threading related documentation touchups.

14 years ago1.0.29.16: make the fopcompiler DEFGLOBAL-aware
Nikodemus Siivola [Thu, 18 Jun 2009 09:32:45 +0000 (09:32 +0000)]
1.0.29.16: make the fopcompiler DEFGLOBAL-aware

* Thanks to Lars Rune Nøstdal.

14 years ago1.0.29.15: delete stray debugging cruft
Nikodemus Siivola [Thu, 18 Jun 2009 09:21:34 +0000 (09:21 +0000)]
1.0.29.15: delete stray debugging cruft

* Commit mishap from 1.0.29.14.

14 years ago1.0.29.14: implement SB-INTROSPECT:ALLOCATION-INFORMATION
Nikodemus Siivola [Thu, 18 Jun 2009 08:49:29 +0000 (08:49 +0000)]
1.0.29.14: implement SB-INTROSPECT:ALLOCATION-INFORMATION

* Allows users to gain insights into allocation behaviour.

14 years ago1.0.29.13: relax CAST-EXTERNALLY-CHECKABLE-P a bit
Nikodemus Siivola [Wed, 17 Jun 2009 20:03:35 +0000 (20:03 +0000)]
1.0.29.13: relax CAST-EXTERNALLY-CHECKABLE-P a bit

* Allows (lambda (x y) (string= x y)) to be compiled without inserting
  type-checks that will be done by STRING=* into the lambda.

14 years ago1.0.29.12: nicer DX capability conditionalization
Nikodemus Siivola [Wed, 17 Jun 2009 16:40:34 +0000 (16:40 +0000)]
1.0.29.12: nicer DX capability conditionalization

 * New *FEATURES*: :STACK-ALLOCATABLE-LISTS, :STACK-ALLOCATABLE-VECTORS, and
   :STACK-ALLOCATABLE-FIXED-OBJECTS filled in by make-config.sh.

 * Use them instead of #!+(or arch1 arch2 ...).

14 years ago1.0.29.11: one more one more DIRECTORY regressions
Nikodemus Siivola [Tue, 16 Jun 2009 09:41:54 +0000 (09:41 +0000)]
1.0.29.11: one more one more DIRECTORY regressions

* (DIRECTORY "X*") should not match directories with dotted names.

* Get rid of the KLUDGE to make up a directory component from pathname
  name and type, which was a source of inconsistencies between
  handling files and directories. Instead make MAP-DIRECTORY
  :DIRECTORIES :AS-FILES map over directory entries with
  filename-style pathnames, which allows us to share the matching
  logic between the two nicely.

14 years ago1.0.29.10: one more DIRECTORY regression
Nikodemus Siivola [Mon, 15 Jun 2009 22:13:08 +0000 (22:13 +0000)]
1.0.29.10: one more DIRECTORY regression

 * (DIRECTORY "X*.*") should match directories in addition to files.

14 years ago1.0.29.9: prettier style-warnings for incompatible FTYPE proclamations
Nikodemus Siivola [Mon, 15 Jun 2009 12:03:10 +0000 (12:03 +0000)]
1.0.29.9: prettier style-warnings for incompatible FTYPE proclamations

 * Unparse the types and indent nicely.

14 years ago1.0.29.8: :PTY and stream arguments in RUN-PROGRAM
Nikodemus Siivola [Mon, 15 Jun 2009 11:05:41 +0000 (11:05 +0000)]
1.0.29.8: :PTY and stream arguments in RUN-PROGRAM

 * Reported by Elliot Slaughter, patch by Stas Boukarev.

14 years ago1.0.29.6: regression in DIRECTORY when matching directory patterns
Nikodemus Siivola [Mon, 15 Jun 2009 10:03:54 +0000 (10:03 +0000)]
1.0.29.6: regression in DIRECTORY when matching directory patterns

 * Don't recurse on the return value of PATTERN-MATCHES, but rather
   the subdirectory that matches.

14 years ago1.0.29.6: work around stack-allocated value cell badness in HANDLER-CASE
Nikodemus Siivola [Wed, 10 Jun 2009 13:03:36 +0000 (13:03 +0000)]
1.0.29.6: work around stack-allocated value cell badness in HANDLER-CASE

* Use an explicit CONS so the closed-over variable is read-only and
  doesn't need a value cell, and stack allocate the CONS instead.
  (Stack analysis still can't reason about stack allocated
  value-cells... it might be that doing a transformation like this in
  the compiler would be the way to integrate dx value cells properly
  into Python, maybe?)

14 years ago1.0.29.5: list item seek transform needs to check for both :TEST and :TEST-NOT
Nikodemus Siivola [Tue, 9 Jun 2009 12:23:51 +0000 (12:23 +0000)]
1.0.29.5: list item seek transform needs to check for both :TEST and :TEST-NOT

* When both are provided, abort the transform and let the full call
  take care of signalling the error. Reported by Tobias Ritterweiler.

15 years ago1.0.29.4: still more MAKE-ARRAY work
Nikodemus Siivola [Fri, 5 Jun 2009 14:25:29 +0000 (14:25 +0000)]
1.0.29.4: still more MAKE-ARRAY work

* Re-order the three MAKE-ARRAY deftransform, so that the more
  specific ones are tried before the general one -- which allows stack
  allocation in more the remaining cases that used to fail (I don't
  know why I blamed VECTOR-FILL* for that before.)

* When constant splicing for initial-element in
  TRANSFORM-MAKE-ARRAY-VECTOR didn't quote it, leading to lossiness
  with symbols or lists as constant initial-elements. (Bug masked
  earlier by the mis-ordering of the deftransforms.)

* In the final leg of TRANSFORM-MAKE-ARRAY-VECTOR also eliminate the
  possible :INITIAL-ELEMENT keyword.

* When eliminating keywords from a MAKE-ARRAY call, don't flush the
  lvars before checking that all of them can be eliminated. (Also
  masked by the earlier mis-ordering.)

15 years ago1.0.29.3: better reporting for failure to stack allocate
Nikodemus Siivola [Fri, 5 Jun 2009 13:08:35 +0000 (13:08 +0000)]
1.0.29.3: better reporting for failure to stack allocate

 * If the LVAR has no uses left, it is not good for DX.

 * When flushing the destination of a DX lvar, note that its uses will
   not be stack allocated.

 * Pull out the failure to stack allocate reporting into
   NOTE-NO-STACK-ALLOCATION, relax the filter to allow complaints
   about non-constant REFs, and omit notes for flushed and flushable
   combinations. TODO: the compiler should know about non-consing
   functions, so that it can avoid inane notes like "could not stack
   allocate the result of (CAR X)" should someone declare that DX.

 * Muffle compiler notes from WITH-PINNED-OBJECTS, since our paranoid
   use of DX-LET there is liable to cause lots of confusing "unable to
   stack allocate" notes.

15 years ago1.0.29.2: implement fixnump/signed-word VOP on x86 and x86-64
Nikodemus Siivola [Fri, 5 Jun 2009 11:36:46 +0000 (11:36 +0000)]
1.0.29.2: implement fixnump/signed-word VOP on x86 and x86-64

 * No need to cons up a bignum, and just one branch required.
   Eliminates a whole class of signed-word to integer coercions.

15 years ago1.0.29.1: fix FILL
Nikodemus Siivola [Thu, 4 Jun 2009 18:01:31 +0000 (18:01 +0000)]
1.0.29.1: fix FILL

 * Imaginary parts were messed up on 64 bit platforms when
   filling arrays of (COMPLEX SINGLE-FLOAT). Thanks to Paul Khuong.

 * Also delay the transform of FILL till constraint propagation has
   run, to get the constant argument form MAKE-ARRAY in properly.

 * ...and eradicate remaining references to the SUPPORT file.

15 years ago1.0.29: release, will be tagged as sbcl_1_0_29
Nikodemus Siivola [Thu, 4 Jun 2009 12:59:09 +0000 (12:59 +0000)]
1.0.29: release, will be tagged as sbcl_1_0_29

15 years ago1.0.28.77: fix test failures on PPC and elsewhere
Nikodemus Siivola [Thu, 4 Jun 2009 11:28:34 +0000 (11:28 +0000)]
1.0.28.77: fix test failures on PPC and elsewhere

* Most of the failures were test that cannot pass due to missing
  bits of DX implementation -- stack allocatable vectors and
  fixed-alloc.

* Mark backtrace test 353 as expected to fail on PPC as well.

* Don't declare *HANDLER-CLUSTERS* as dynamic-extent on platforms
  that do not support DX fixed-alloc, since it will just give
  a spurious compiler note.

15 years ago1.0.28.76: fix non-unicode builds on x86 and x86-64
Nikodemus Siivola [Wed, 3 Jun 2009 15:56:32 +0000 (15:56 +0000)]
1.0.28.76: fix non-unicode builds on x86 and x86-64

* The problem has been there since 1.0.24.35, but possibly
  exposed only recently: MOVE-IF/CHAR cannot use byte-sized
  registers since CMOV cannot. Hence disable if for non-unicode
  builds.

  Reported by Stas Boukarev.

* Missing news entry from 1.0.28.75.

15 years ago1.0.28.75: documentation work related to move to Launchpad
Nikodemus Siivola [Wed, 3 Jun 2009 09:09:52 +0000 (09:09 +0000)]
1.0.28.75: documentation work related to move to Launchpad

* Delete SUPPORT and minimize BUGS.

  The information that used to be there is now the first chapter of
  the manual: "Getting Support and Reporting Bugs", Maybe it belongs
  elsewhere, but IMO it should be as prominent as we can make it - so
  the first chapter for now.

  Refer to Lauchpad and sbcl-bugs in "Reporting Bugs".

  Remove Dan B. from support providers for now, given that
  metacircles.com is currently domain-parked.

15 years ago1.0.28.74: SHARED-INITIALIZE should initialize unbound :CLASS slots
Nikodemus Siivola [Tue, 2 Jun 2009 18:33:52 +0000 (18:33 +0000)]
1.0.28.74: SHARED-INITIALIZE should initialize unbound :CLASS slots

 * This has been around for a while, but despite the misleading
   comment in the source the spec is clear enough.

15 years ago1.0.28.73: regression from 1.0.28.21
Nikodemus Siivola [Tue, 2 Jun 2009 17:23:08 +0000 (17:23 +0000)]
1.0.28.73: regression from 1.0.28.21

 * One leg of logic lost in the refactoring: if the type to verify is
   (SIMPLE-ARRAY * (*)) we need to check that there is no array
   header.

15 years ago1.0.28.72: two regressions from 1.0.28.59
Nikodemus Siivola [Tue, 2 Jun 2009 15:59:33 +0000 (15:59 +0000)]
1.0.28.72: two regressions from 1.0.28.59

 * OPEN should not physicalize the pathname associated with
   the stream.

 * RENAME-FILE needs to deal with logical pathnames.

   (Both revealed by ansi-tests, as were the last bunch.)