Skip to content
Snippets Groups Projects
  1. Mar 10, 2003
  2. Mar 06, 2003
  3. Mar 02, 2003
  4. Feb 28, 2003
  5. Feb 25, 2003
  6. Feb 24, 2003
  7. Feb 22, 2003
  8. Feb 21, 2003
  9. Feb 20, 2003
  10. Feb 16, 2003
  11. Feb 15, 2003
  12. Feb 14, 2003
  13. Feb 12, 2003
    • emarsden's avatar
      Update the fasl-file-version and byte-fasl-file-version to #x18e, in · 7a2c356d
      emarsden authored
      preparation for the 18e release. This change makes it necessary to
      intervene during the rebuild: when loading the FASL files, a
      continuable error related to fasl-file-version mismatch will be
      signalled. Say
      
         (setq cl::*skip-fasl-file-version-check* t)
      
      then select the CONTINUE restart, and the build should proceed without
      problems.
      7a2c356d
  14. Feb 09, 2003
    • emarsden's avatar
      Tell the compiler that READ-DELIMITED-LIST always returns a list. · 2f2d7cca
      emarsden authored
      Compiling the following function generates an efficiency note; with
      the patch the note disappears.
      
        (defun foo ()
          (declare (optimize speed))
          (let* ((stream (make-string-input-stream "0 1 2 3)"))
                 (read (read-delimited-list #\) stream)))
            (find 2 read)))
      
      ; (find 2 read)
      ; Note: Unable to optimize due to type uncertainty:
      ; The second argument is a (or null vector cons), not a simple-base-string.
      
      Problem and fix from Tony Martinez via SBCL.
      2f2d7cca
  15. Feb 06, 2003
  16. Feb 05, 2003
    • gerd's avatar
      * compiler/ir1tran.lisp (extract-flet-variables): Use · 976290ac
      gerd authored
      	valid-function-name-p for determining the block name.
      976290ac
    • emarsden's avatar
      New files added from the XREF facility. · f23730d6
      emarsden authored
      f23730d6
    • emarsden's avatar
      Added a cross-referencing facility to the compiler. · 5383aa5f
      emarsden authored
      The new XREF package exports function WHO-CALLS, WHO-REFERENCES, WHO-BINDS
      and WHO-SETS. These return structures of type XREF-CONTEXT, which contain
      the name of the referencing context, the file it was referenced from (or NIL
      when compiling from the toplevel), and the source-position in that file.
      
      Also change the names of lambda nodes in IR1 for macros and compiler-macros
      to be lists of the form
      
         (:macro macro-name)
         (:compiler-macro macro-name)
      
      instead of strings of the form "DEFMACRO MACRO-NAME".
      
      Documentation has been added to the User's Manual.
      
      This change shouldn't cause any bootstrapping problems when building.
      5383aa5f
    • gerd's avatar
      Add a hook for use by PCL. · 551b53f0
      gerd authored
      	* compiler/proclaim.lisp (*proclaimation-hooks*): New variable.
      	(proclaim): Call hooks.
      551b53f0
    • gerd's avatar
      Generalized function names. · a1a66688
      gerd authored
      	* code/fdefinition.lisp (*valid-function-names*): New variable.
      	(%define-function-name-syntax, valid-function-name-p): New
      	functions.
      	(define-function-name-syntax): New macro.
      	(toplevel): Define the syntax of setf function names.
      	(fdefinition-object): Use valid-function-name-p.
      
      	* compiler/proclaim.lisp (check-function-name): Use
      	valid-function-name-p.
      
      	* compiler/ir1tran.lisp (function): Use valid-function-name-p.
      
      	* code/profile.lisp (%report-times): Use valid-function-name-p.
      
      	* code/macros.lisp (defun): Use valid-function-name-p.
      
      	* code/eval.lisp (eval): Use valid-function-name-p.
      
      	* code/describe.lisp (describe-aux, describe-function-name):
      	Use valid-function-name-p.
      
      	* code/exports.lisp ("EXTENSIONS"): Add
      	define-function-name-syntax and valid-function-name-p.
      a1a66688
  17. Feb 03, 2003
    • toy's avatar
      Recognize :allow-other-keys as a valid keyword arg for all functions, · c4050a82
      toy authored
      and enable (or disable) compile-time checking of keyword args as
      appropriate.  Also give a compile-time warning if the value of
      :allow-other-keys is not a constant.  Compile-time checking is
      disabled in this case.
      
      Based on a patch from Gerd Moellmann for a issue noted by Paul Dietz.
      c4050a82
  18. Feb 01, 2003
  19. Jan 29, 2003
    • toy's avatar
      o Adds support for searching for the lisp.core file based on the · a20170bc
      toy authored
        location of the lisp C binary, when CMUCLLIB is not given, and the
        core file is not specified.
      o Add support for a CMUCLCORE envvar, and a -lib option for setting
        the path for the library: search-list.
      o Added some spare static symbols for the sparc port so we don't have
        to cross-compile again for a while.
      
      See cmucl-imp archives for some more details.
      a20170bc
    • toy's avatar
      Entomotomy bug array-in-bounds-p-integer-args · da74e837
      toy authored
      Defknown was limiting the subscripts in be fixnums.  Change that to be
      integers.
      da74e837
    • toy's avatar
      Entomotomy bug defknowns-for-bit-array-operators-wrong: · a277c8ce
      toy authored
      Defknowns for bit-and and friends were disallowing an explicit
      optional arg of NIL.  Allow it.
      a277c8ce
    • toy's avatar
      From Gerd Moellmann: · 80fe23bf
      toy authored
      o Entomotomy bug optional-environment-arg-mistakes:
      
        Recognize the optional environment argument for typep, subtypep,
        upgraded-array-element-type, upgraded-complex-part-type, and various
        other functions that take an optional environment arg.  Currently,
        all we do with the environment is ignore it.
      
      o Entomotomy bug defknowns-for-bit-array-setters-wrong
      
        Defknowns for %bitset and %sbitset was only allowing vectors, not
        multidimensional arrays.
      80fe23bf
  20. Jan 23, 2003
    • toy's avatar
      From Eric Marsden: · f315d7f1
      toy authored
          fix typos in comments, signal more specific error types, remove
          some stale code, fix a few compiler warnings in the runtime.
      f315d7f1
  21. Jan 21, 2003
    • toy's avatar
      From Eric Marsden: · 7b973467
      toy authored
          From a recent thread on comp.lang.lisp, it seems that CMUCL is non
          conforming in the way that it handles the coalescing of constants in
          the functions EVAL and COMPILE:
      
             Literal objects appearing in code processed by the compile
             function are neither copied nor coalesced. The code resulting
             from the execution of compile references objects that are eql
             to the corresponding objects in the source code.
      7b973467
  22. Jan 08, 2003
  23. Jan 06, 2003
  24. Dec 29, 2002
    • pmai's avatar
      Entomotomy Bug: adjust-array-initial-contents-type-wrong · 6f8f17af
      pmai authored
      The :initial-contents argument to adjust-array isn't restricted to be a list,
      as the defknown entry erroneously claims.  This fix requires an L2 rebuild
      (or loading of the changed defknown prior to rebuilding), in order for the
      information to propagate properly.
      6f8f17af
  25. Dec 13, 2002
    • toy's avatar
      MACROLET needs to be expanded in the lexical environment, not the null · db9cd6b5
      toy authored
      environment.  Adds an optional environment argument to
      COMPILE-FOR-EVAL and INTERNAL-EVAL.  DO-MACROLET-STUFF then uses
      INTERNAL-EVAL (instead of COERCE) to create the local macro function
      in a suitable environment.
      
      This is a "minimalistic fix for CMUCL" from Gerd Moellmann.
      db9cd6b5
  26. Dec 07, 2002
    • toy's avatar
      From Eric Marsden: · 2a176aec
      toy authored
         - fixes to the internal consistency of IR2, ported from the
           corresponding changes to SBCL by Alexey Dejneka
      
         - modification of the internal IR1 consistency checking code to
           accept objects of type HEAP-ALIEN-INFO in the *FREE-VARIABLES*
           list.
      
      
        With this change, it is possible to rebuild with
        c::*check-consistency* enabled, with only the "Unseen function ~S in
        ~S." check disabled.
      2a176aec
  27. Dec 03, 2002
Loading