Changeset 790 for src/Cminor/toRTLabs.ma
- Timestamp:
- May 10, 2011, 5:50:09 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Cminor/toRTLabs.ma
r780 r790 320 320 do f ← add_stmt env label_env s' exits ptrs f; 321 321 add_fresh_to_graph (St_cost l) f 322 | _ ⇒ Error ? (* XXX implement *)323 322 ]. 324 323 [ @(λ_. St_skip l_next)
Note: See TracChangeset
for help on using the changeset viewer.