Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • dtc's avatar
    38ca88d0
    o Skip substitute-single-use-continuation if CONT's assertion is · 38ca88d0
    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.
    38ca88d0
    History
    o Skip substitute-single-use-continuation if CONT's assertion is
    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.