[cabec2]: TODO.cast  Maximize  Restore  History

Download this file

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?

* (!!) compilation speed

for late cast branch or post-merge:

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


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks