Changeset 3582 for LTS/variable.ma


Ignore:
Timestamp:
Jul 16, 2015, 4:02:53 PM (4 years ago)
Author:
piccolo
Message:

pass variable to stack in place

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/variable.ma

    r3579 r3582  
    195195    !env ← frame_current_env … st;
    196196    !n ← frame_sem_expr env e;
    197     frame_assign_var 〈((list_n … O (pred (to_shift + (f_pars … sgn))))::(\fst st)),(\snd st)〉 to_shift n.
     197    frame_assign_var 〈((list_n … O (to_shift + (f_pars … sgn)))::(\fst st)),(\snd st)〉 to_shift n.
    198198
    199199definition frame_return_call:expr→ frame_store_t→ (option frame_store_t)≝
Note: See TracChangeset for help on using the changeset viewer.