Skip to content
Snippets Groups Projects
  1. Aug 17, 2000
  2. Aug 12, 2000
  3. Aug 10, 2000
  4. Aug 09, 2000
  5. Aug 08, 2000
  6. Aug 07, 2000
  7. Aug 06, 2000
    • dtc's avatar
      o Add the new function order-layout-inherits to correctly order the · 9793164a
      dtc authored
        layouts within the layout-inherits vector. This ensures that
        the compiler can generate inline type tests for hierarchical classes.
      
      o Modify the definition of the stream class to be hierarchical.
      
      o Have the condition classes correctly order their layout-inherits
        so that the hierarchical condition class is placed at it specified depth.
      
      o Enhance the compiler instance typep transform to generate inline
        type tests for hierarchical classes, not just for structures.
      9793164a
    • dtc's avatar
      Just grab the lisp class direct-superclasses for the pcl · ad770090
      dtc authored
      structure-class direct superclasses. This handles both normal
      structures with a single superclass, and other structure like classes
      such as conditions and streams which may have multiple superclasses.
      ad770090
    • dtc's avatar
      4bfa19a9
  8. Aug 04, 2000
  9. Aug 03, 2000
    • pw's avatar
      These changes remove some obsolete and unused type system interface codes, · 94577d17
      pw authored
      and introduces code to "inform-type-system-about-std-class". The effect
      of this new code is to put minimal class definitions into the compile-time
      environment to prevent undefined-type warnings. These definitions are
      replaced with the correct class defs at load-time.
      94577d17
  10. Aug 01, 2000
  11. Jul 31, 2000
  12. Jul 23, 2000
    • dtc's avatar
      When read-sequence is using the read-n-bin method, loop if the number · 645e50b8
      dtc authored
      of bytes returned is less than required, and until either done or zero
      bytes is returned indicating an EOF.
      645e50b8
    • dtc's avatar
      Fix the handling of :unread and :clear-input in the stream · 40f31f66
      dtc authored
      misc functions synonym-misc, two-way-misc, and concatenated-misc.
      These streams encapsulate other input streams which may have an input
      buffer so they need to call unread-char and clear-input on the
      encapsulated stream rather than directly calling the encapsulated
      streams misc method as the misc methods are below the layer of the
      input buffer.
      40f31f66
  13. Jul 13, 2000
    • dtc's avatar
      o Fix the generation of new variable leafs by the proclaim functions. · b8bbec47
      dtc authored
        The new variables were being created by copying the old leafs which
        incorrectly copied over any refs, or sets etc, which should have been
        cleared in the new leafs.
      
      o Fix the handling of the 'special identifier in the proclaim IR1
        translator which had been incorrectly using the identifier rather than
        the variable name when updating the hash tables.
      b8bbec47
  14. Jul 11, 2000
  15. Jul 10, 2000
  16. Jul 09, 2000
  17. Jul 07, 2000
  18. Jul 06, 2000
    • dtc's avatar
      Reworking of the values-type system to overcome a number of inconsistencies · daf333f4
      dtc authored
      causing problems:
      
      o Redefine coerce-to-values to convert a single value type into (values type),
        rather than the former definition (values type &rest t). A single value
        type such as fixnum is now equivalent to (values fixnum). Values-type-union
        and values-type-intersection will canonicalise values types with a
        single value such as (values fixnum) back to a single value type
        such as fixnum.
      
      o Now when the compiler makes assertions for the first value of
        continuations that may be generating multiple values it asserts the
        type as (values type &rest t), or as (value &optional type &rest t) if
        it is not sure that the continuation does generate a value.
      
      o Enhance the type check generation to better handle the now common
        values types with optional and rest arguments. Add the new function
        Values-types-asserted which converts asserted optional and rest
        arguments to required arguments that have been proven to be delivered,
        Thus an assertion such as (values &optional fixnum &rest t) will
        generate a fixnum type check if the proven type if (values t).
      
      o The compiler is now far more likely to pickup attempts to use an
        assertion to select a subset of values. For example
        (the (values fixnum) (values x y)) will generated a compiler warning.
      
      o Update single values type assertions where appropriate to clarify that
        the received values may be optional or that multiple values may be
        received. For example, a macro argument which had been asserted to be
        a list via (the list ,...) would now be asserted to be
        (the (values &optional list &rest t)) etc.
      
      o Have the IR1 translator for THE convert single value types into
        (values &optional type &rest t) so that code such as
        (the fixnum (values x y)) will still work acceptably. This does not
        restrict the possible type assertions as the values types may be used
        and are not modified.
      daf333f4
    • dtc's avatar
      Enhance ir1-optimize-mv-bind to propagate the type of optional or rest · 6998c508
      dtc authored
      value types, using the new support function values-types-defaulted.
      6998c508
    • dtc's avatar
      o Recheck the asserted against the proven type for each type in a · 76e9bdfb
      dtc authored
        values-type, because the continuation is flagged for a type check
        if any of the types needs to be checked and some may not need checking.
      
      o Split the function no-function-values-types out into a call to values-type
        followed by the new function no-function-types as this later functionality
        is useful on its own.
      76e9bdfb
    • dtc's avatar
      Have environment-macro return just a single value, rather than · 2213d612
      dtc authored
      optionally the three values from function-lambda-expression.
      2213d612
    • dtc's avatar
      Fix set-write-date, which wasn't working at all. · 344ae14b
      dtc authored
      344ae14b
    • dtc's avatar
      Clarify assertions on the result of floor to be (values fixnum t), · c96da6ff
      dtc authored
      rather than just fixnum.
      c96da6ff
    • dtc's avatar
      Back out the previous assertion type changes, function rem only returns · 9615ecbc
      dtc authored
      a single value anyway!
      9615ecbc
Loading