source: Deliverables/D2.3/8051-memoryspaces-branch/src/RTL/RTLtailcall.mli @ 461

Last change on this file since 461 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

File size: 116 bytes
Line 
1
2(** Temporary issue backdoor: tranform tail calls into regular calls *)
3
4val simplify : RTL.program -> RTL.program
Note: See TracBrowser for help on using the repository browser.