Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • dtc's avatar
    b6137f53
    Patch from Raymond Toy for the :negative-zero-is-not-zero feature: · b6137f53
    dtc authored
    have make-numeric-type canonicalize the bounds so that a lower bound
    of (-0.0) becomes 0.0 and an upper bound of (0.0) becomes -0.0.  Also
    fixes the problem of (subtypep '(float (-0.0)) (float 0.0)), returning
    nil when it should be T.  This is because (float (-0.0)) is
    canonicalized to the identical (float 0.0).
    b6137f53
    History
    Patch from Raymond Toy for the :negative-zero-is-not-zero feature:
    dtc authored
    have make-numeric-type canonicalize the bounds so that a lower bound
    of (-0.0) becomes 0.0 and an upper bound of (0.0) becomes -0.0.  Also
    fixes the problem of (subtypep '(float (-0.0)) (float 0.0)), returning
    nil when it should be T.  This is because (float (-0.0)) is
    canonicalized to the identical (float 0.0).