Changeset 1995 for src/RTL


Ignore:
Timestamp:
May 24, 2012, 7:18:35 PM (8 years ago)
Author:
campbell
Message:

Overall compiler definition; bits and pieces to
make everything happy(ish).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r1601 r1995  
    44include "ERTL/ERTL.ma".
    55include "joint/TranslateUtils.ma".
     6
     7include alias "basics/lists/list.ma".
    68
    79definition save_hdws ≝
     
    412414definition translate_funct ≝ λglobals,def. (move_first_cost_label_up_internal … (translate_funct_internal globals def)).
    413415
    414 definition translate : rtl_program → ertl_program ≝
     416definition rtl_to_ertl : rtl_program → ertl_program ≝
    415417 λp.
    416418  let p ≝ tailcall_simplify p in (* tailcall simplification here *)
Note: See TracChangeset for help on using the changeset viewer.