Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • ram's avatar
    3cdf64f6
    Give a warning in DERIVE-NODE-TYPE when we prove inconsistent types. This · 3cdf64f6
    ram authored
    is probably always a bug, but I don't want to use ASSERT until all 
    the problems are fixed.
    Changed RETURN optimization to call MAYBE-CONVERT-TAIL-CALL.
    Updated for new tail-set semantics. 
    Changed VALUES IR1 transform and SUBSTITUTE-SINGLE-USE-CONTINUATION to
    clear out the old NODE-DERIVED-TYPE so that the type doesn't spuriously 
    go to NIL.
    3cdf64f6
    History
    Give a warning in DERIVE-NODE-TYPE when we prove inconsistent types. This
    ram authored
    is probably always a bug, but I don't want to use ASSERT until all 
    the problems are fixed.
    Changed RETURN optimization to call MAYBE-CONVERT-TAIL-CALL.
    Updated for new tail-set semantics. 
    Changed VALUES IR1 transform and SUBSTITUTE-SINGLE-USE-CONTINUATION to
    clear out the old NODE-DERIVED-TYPE so that the type doesn't spuriously 
    go to NIL.