Changeset 760 for src/Cminor


Ignore:
Timestamp:
Apr 19, 2011, 12:22:31 PM (9 years ago)
Author:
campbell
Message:

Fix tailcall continuations in Cminor.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/semantics.ma

    r751 r760  
    165165        ! fd ← opt_to_res … (find_funct ?? ge vf);
    166166        ! 〈tr',vargs〉 ← trace_map … (λe. eval_expr ge e en sp m) args;
    167         ret ? 〈tr ⧺ tr', Callstate fd vargs (free m sp) k
     167        ret ? 〈tr ⧺ tr', Callstate fd vargs (free m sp) (call_cont k)
    168168       
    169169    | St_seq s1 s2 ⇒ ret ? 〈E0, State f s1 en m sp (Kseq s2 k)〉
Note: See TracChangeset for help on using the changeset viewer.