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

Make back-end use the main global envs.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/semantics_paolo.ma

    r1643 r1999  
    170170   match stm with
    171171   [ rtl_st_ext_tailcall_id id args ⇒
    172       ! b ← opt_to_res … [MSG MissingSymbol; CTX ? id] (find_symbol ?? ge id) : IO ???;
     172      ! b ← opt_to_res … [MSG MissingSymbol; CTX ? id] (find_symbol ge id) : IO ???;
    173173      eval_tail_call_block … ge st b args
    174174   | rtl_st_ext_tailcall_ptr r1 r2 args ⇒
Note: See TracChangeset for help on using the changeset viewer.