[cabec2]: TODO.cast Maximize Restore History

Download this file

TODO.cast    22 lines (16 with data), 666 Bytes

important things:

* unite VOPs with CASTs
  ** (!) unsafe CAST on result - for VOP selection
  ** (?) safe CAST on argument - for type checking
* (!) MV type checking: &OPTIONAL
* errors in the number of return values
* (?) flush unused CASTs
* good type error diagnostics
* VALUES declaration
* do we always check types of unused values?
* (!) CONTINUATION-EXTERNALLY-CHECKABLE-TYPE

* (!!) compilation speed

=======================================================================
for late cast branch or post-merge:

* correct constraint propagation (add `(EQL var cont)' constraint kind)

=======================================================================