Changeset 2754 for src/ASM/Status.ma


Ignore:
Timestamp:
Mar 1, 2013, 10:26:31 AM (7 years ago)
Author:
sacerdot
Message:
  1. WARNING: I commented out one of James's function used in compiler.ma because it was undefined (partial commit). To be restored.
  2. The type of labelled_object_code programs now has a symbol table, used to generate the intensional events function call/return.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r2710 r2754  
    10891089      let 〈carry, sum〉 ≝ half_add … addr size in
    10901090        〈add ? ? datalabels name addr, sum〉)
    1091           〈empty_map …, zero 16〉 the_preamble).
     1091          〈empty_map …, zero 16〉 (\fst the_preamble)).
Note: See TracChangeset for help on using the changeset viewer.