Skip to content
Snippets Groups Projects
Forked from alexandria / alexandria
Source project has a limited visibility.
  • Robert Goldman's avatar
    613b4793
    Fix the modal logic of TYPE=. · 613b4793
    Robert Goldman authored
    Computing the correct return value of TYPE= requires combining the
    primary and secondary returns of SUBTYPEP correctly.  Previously the
    return value for combining (NIL NIL) and (T T) was incorrectly (NIL T)
    instead of (NIL NIL).
    613b4793
    History
    Fix the modal logic of TYPE=.
    Robert Goldman authored
    Computing the correct return value of TYPE= requires combining the
    primary and secondary returns of SUBTYPEP correctly.  Previously the
    return value for combining (NIL NIL) and (T T) was incorrectly (NIL T)
    instead of (NIL NIL).