Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • dtc's avatar
    8a3a13c2
    Enhance one-arg-derive-type to optionally allow member types to be · 8a3a13c2
    dtc authored
    converted to a numeric type and the derive-type-aux function called to
    compute the result type. This allows a range to be returned for member
    types.
    
    Add a derive-type optimizer for the random function using the above
    extension.
    
    Ensure that the abs derive-type optimiser correctly coerces the result
    bounds; this optimiser now returns a +0.0 lower bound whereas it had
    been +-0.0.
    8a3a13c2
    History
    Enhance one-arg-derive-type to optionally allow member types to be
    dtc authored
    converted to a numeric type and the derive-type-aux function called to
    compute the result type. This allows a range to be returned for member
    types.
    
    Add a derive-type optimizer for the random function using the above
    extension.
    
    Ensure that the abs derive-type optimiser correctly coerces the result
    bounds; this optimiser now returns a +0.0 lower bound whereas it had
    been +-0.0.