Changeset 1522 for src/ASM/ASM.ma


Ignore:
Timestamp:
Nov 21, 2011, 3:49:04 PM (9 years ago)
Author:
mulligan
Message:

changes to preamble and lin to asm pass, resolved conflict in interpret

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r1515 r1522  
    204204
    205205definition labelled_instruction ≝ option Identifier × pseudo_instruction.
    206 definition preamble ≝ list ((Identifier × nat) × (String × Word)).
     206definition preamble ≝ (identifier_map SymbolTag nat) × (list (Identifier × Word)).
    207207definition assembly_program ≝ list instruction.
    208208definition pseudo_assembly_program ≝ preamble × (list labelled_instruction).
Note: See TracChangeset for help on using the changeset viewer.