Changeset 1999 for src/RTLabs


Ignore:
Timestamp:
May 25, 2012, 10:45:15 AM (7 years ago)
Author:
campbell
Message:

Make back-end use the main global envs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/semantics.ma

    r1988 r1999  
    133133(*
    134134  | St_tailcall_id id args ⇒ λH.
    135       ! b ← opt_to_res … [MSG MissingSymbol; CTX ? id] (find_symbol ?? ge id);
    136       ! fd ← opt_to_res … [MSG BadFunction; CTX ? id] (find_funct_ptr ?? ge b);
     135      ! b ← opt_to_res … [MSG MissingSymbol; CTX ? id] (find_symbol ge id);
     136      ! fd ← opt_to_res … [MSG BadFunction; CTX ? id] (find_funct_ptr ge b);
    137137      ! vs ← m_list_map … (reg_retrieve (locals f)) args;
    138138      return 〈E0, Callstate fd vs (retdst f) fs (free m (sp f))〉
    139139  | St_tailcall_ptr frs args ⇒ λH.
    140140      ! fv ← reg_retrieve (locals f) frs;
    141       ! fd ← opt_to_res … (msg BadFunction) (find_funct ?? ge fv);
     141      ! fd ← opt_to_res … (msg BadFunction) (find_funct ge fv);
    142142      ! vs ← m_list_map … (reg_retrieve (locals f)) args;
    143143      return 〈E0, Callstate fd vs (retdst f) fs (free m (sp f))〉
Note: See TracChangeset for help on using the changeset viewer.