Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • Raymond Toy's avatar
    3acdd1b7
    Fix #59: type derivation for decode-float exponent · 3acdd1b7
    Raymond Toy authored
    Type derivation for exponent part of decode-float was incorrect.  We
    need to take the absolute value of the argument before deriving the
    type since the exponent is, of course, independent of the sign of the
    number.  In the test case, the negative interval caused the lower and
    upper bounds to be reversed, resulting in an invalid interval.
    3acdd1b7
    History
    Fix #59: type derivation for decode-float exponent
    Raymond Toy authored
    Type derivation for exponent part of decode-float was incorrect.  We
    need to take the absolute value of the argument before deriving the
    type since the exponent is, of course, independent of the sign of the
    number.  In the test case, the negative interval caused the lower and
    upper bounds to be reversed, resulting in an invalid interval.