Forked from
cmucl / cmucl
Source project has a limited visibility.
-
dtc authored
incompatbile with the proven type of ARG, such as when ARG returns multiple values and CONT has a single value assertion. o After propagate-let-args, only delete the let when none of the variables are set, otherwise an unreferenced variable that is set can end up without a home which would be unexpected by later stages of the compiler. o Correct and enhance the values deftransform to adjust the node continuation asserted type which may otherwise be inconsistent with the new single value type, and set the node derived type to the received single-value-type.
dtc authoredincompatbile with the proven type of ARG, such as when ARG returns multiple values and CONT has a single value assertion. o After propagate-let-args, only delete the let when none of the variables are set, otherwise an unreferenced variable that is set can end up without a home which would be unexpected by later stages of the compiler. o Correct and enhance the values deftransform to adjust the node continuation asserted type which may otherwise be inconsistent with the new single value type, and set the node derived type to the received single-value-type.