Ignore:
Timestamp:
Feb 12, 2013, 2:47:18 AM (7 years ago)
Author:
sacerdot
Message:

Tailcall elimination no longer necessary:

  1. the back-end is almost ready for tailcalls
  2. tailcalls are never generated by the frontend
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2658 r2659  
    1616
    1717RTL/RTL_semantics.ma:             parametri
    18 RTL/RTLTailcall.ma                FCOND rotto, cosa fare con sto codice?
    19  RTL/RTLToERTL.ma
     18RTL/RTLToERTL.ma:                 parametri (??)
    2019
    2120RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
Note: See TracChangeset for help on using the changeset viewer.