Changeset 3582 for LTS/stack.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/stack.ma

    r3577 r3582  
    136136λsgn.λst.
    137137    !〈n,st1〉 ← pop st; 
    138     frame_assign_var 〈(list_n … O (pred (to_shift + (f_pars … sgn))))::(\fst st1),(\snd st1)〉 to_shift n.
     138    frame_assign_var 〈(list_n … O (to_shift + (f_pars … sgn)))::(\fst st1),(\snd st1)〉 to_shift n.
    139139
    140140definition stack_return_call:frame_store_t→ (option frame_store_t)≝
Note: See TracChangeset for help on using the changeset viewer.