Changeset 1348


Ignore:
Timestamp:
Oct 10, 2011, 10:40:08 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r1322 r1348  
    3131  To be fixed once we understand exactly what to do with tail calls. *)
    3232inductive rtlntc_statement_extension: Type[0] ≝
    33   | rtlntc_st_ext_address: register → register → rtlntc_statement_extension
     33  | rtlntc_st_ext_stack_address: register → register → rtlntc_statement_extension
    3434  | rtlntc_st_ext_call_ptr: register → register → list register → list register → rtlntc_statement_extension.
    3535
Note: See TracChangeset for help on using the changeset viewer.