- Timestamp:
- Oct 10, 2011, 10:40:08 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTL/RTL.ma
r1322 r1348 31 31 To be fixed once we understand exactly what to do with tail calls. *) 32 32 inductive rtlntc_statement_extension: Type[0] ≝ 33 | rtlntc_st_ext_ address: register → register → rtlntc_statement_extension33 | rtlntc_st_ext_stack_address: register → register → rtlntc_statement_extension 34 34 | rtlntc_st_ext_call_ptr: register → register → list register → list register → rtlntc_statement_extension. 35 35
Note: See TracChangeset
for help on using the changeset viewer.