Ignore:
Timestamp:
Feb 19, 2013, 12:23:50 PM (8 years ago)
Author:
campbell
Message:

Retain the pointer for the function called in front-end call states
so that we can do sensible stack costs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/Cminor_abstract.ma

    r2601 r2677  
    2323λs. match s with
    2424[ State _ _ _ _ _ _ _ _ _ _ ⇒ cl_other
    25 | Callstate _ _ _ _ ⇒ cl_call
     25| Callstate _ _ _ _ _ ⇒ cl_call
    2626| Returnstate _ _ _ ⇒ cl_return
    2727| Finalstate _ ⇒ cl_other
Note: See TracChangeset for help on using the changeset viewer.