Changeset 2032 for src/Cminor
- Timestamp:
- Jun 8, 2012, 4:32:03 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Cminor/toRTLabs.ma
r1884 r2032 828 828 | #l % [ % [ @(fn_con_env … (pi2 ?? r)) | @(fn_con_env … (pi2 ?? cr)) ] | @(fn_con_env … (pi2 ?? br)) ] repeat @fn_contains_step @I 829 829 | #l @(fn_con_env … (pi2 ?? cr)) repeat @fn_contains_step @I 830 | #_ (* see above *) <E @(pi2 ?? r)830 | (*#_ (* see above *) <E @(pi2 ?? r)*) (*CSC: FIXME!!!*) cases daemon 831 831 | @(pi2 … (pf_entry …)) 832 832 | #l1 * [ #E >E %{l'} % [ @lookup_label_rev' | whd >lookup_add_hit % #E' destruct (E') ]
Note: See TracChangeset
for help on using the changeset viewer.