Changeset 777 for src/ERTL/Uses.ma


Ignore:
Timestamp:
Apr 27, 2011, 5:25:26 PM (10 years ago)
Author:
mulligan
Message:

Lots of work on RTL to ERTL pass from today.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/Uses.ma

    r756 r777  
    99  λuses.
    1010    let l ≝ increment ? (lookup ? ? register uses (zero 16)) in
    11       insert ? 16 register l uses.
     11      insert ? 16 l uses.
    1212     
    1313definition examine_statement ≝
Note: See TracChangeset for help on using the changeset viewer.