Changeset 2162 for src/RTLabs/RTLabsToRTL_paolo.ma
- Timestamp:
- Jul 6, 2012, 5:53:01 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/RTLabsToRTL_paolo.ma
r2155 r2162 743 743 λr. tmpr ← tmpr .Or. r in 744 744 bret … 〈MOVE rtl_params globals 〈tmpr,srcr〉 :: 745 map ?? f srcrs', (COND ?tmpr lbl_true : joint_step ??) 〉745 map ?? f srcrs', (COND … tmpr lbl_true : joint_step ??) 〉 746 746 ]. 747 747 … … 815 815 ❬(match retr with 816 816 [ Some retr ⇒ 817 CALL_ID rtl_params f (rtl_args args lenv ?) (find_local_env retr lenv ?)817 CALL_ID rtl_params ? f (rtl_args args lenv ?) (find_local_env retr lenv ?) 818 818 | None ⇒ 819 CALL_ID rtl_params f (rtl_args args lenv ?) [ ]819 CALL_ID rtl_params ? f (rtl_args args lenv ?) [ ] 820 820 ] : bind_seq_block ???), lbl'❭ 821 821 | St_call_ptr f args retr lbl' ⇒
Note: See TracChangeset
for help on using the changeset viewer.