Changeset 2708 for src/ASM


Ignore:
Timestamp:
Feb 22, 2013, 7:11:30 PM (7 years ago)
Author:
tranquil
Message:

fixed linearise and LINToASM
LINToASM has now correct transformation of idents and labels to Identifier

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r2705 r2708  
    984984
    985985definition labelled_instruction ≝ labelled_obj ASMTag pseudo_instruction.
    986 definition preamble ≝ (identifier_map SymbolTag nat) × (list (Identifier × Word)).
     986definition preamble ≝ list (Identifier × Word).
    987987definition assembly_program ≝ list instruction.
    988988definition pseudo_assembly_program ≝ preamble × (list labelled_instruction).
Note: See TracChangeset for help on using the changeset viewer.