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/joint/semantics_blocks.ma

    r1949 r1999  
    189189[ #id #args #dest #H whd in H;
    190190  #st change with (! x ← ? ; ?) in match (eval_step ?????);
    191   elim (find_symbol ????) in H ⊢ %; [//]
     191  elim (find_symbol ???) in H ⊢ %; [//]
    192192  #b >m_return_bind  >m_return_bind
    193193  change with (! x ← ? ; ?) in match (eval_call_block ?????????);
    194   elim (find_funct_ptr ????) [//]
     194  elim (find_funct_ptr ???) [//]
    195195  #fd >m_return_bind  >m_return_bind
    196196  elim fd #fn normalize nodelta *
Note: See TracChangeset for help on using the changeset viewer.