Changeset 1322 for src/RTL/RTL.ma


Ignore:
Timestamp:
Oct 7, 2011, 2:59:48 PM (8 years ago)
Author:
sacerdot
Message:

address => stack_address

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r1280 r1322  
    55  To be fixed once we understand exactly what to do with tail calls. *)
    66inductive rtl_statement_extension: Type[0] ≝
    7   | rtl_st_ext_address: register → register → rtl_statement_extension
     7  | rtl_st_ext_stack_address: register → register → rtl_statement_extension
    88  | rtl_st_ext_call_ptr: register → register → list register → list register → rtl_statement_extension
    99  | rtl_st_ext_tailcall_id: ident → list register → rtl_statement_extension
Note: See TracChangeset for help on using the changeset viewer.