Changeset 1296 for src/RTLabs


Ignore:
Timestamp:
Oct 5, 2011, 5:53:54 PM (9 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/RTLabs/RTLAbstoRTL.ma

    r1293 r1296  
    10121012
    10131013(* XXX: following conversation with CSC about the mix up in extension statements
    1014         and extension instructions in RTL *)
     1014        and extension instructions in RTL, use fake_label in calls to
     1015        tailcall_* instructions. *)
    10151016definition translate_stmt ≝
    10161017  λglobals: list ident.
Note: See TracChangeset for help on using the changeset viewer.