Changeset 3051 for src/ASM


Ignore:
Timestamp:
Apr 1, 2013, 6:28:59 PM (7 years ago)
Author:
tranquil
Message:

fixed order of global initialization in LINToASM. For the moment assembly preamble now holds a map of identifiers to addresses rather than reserved sizes. To be discussed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r3045 r3051  
    10281028qed.
    10291029
     1030(* probably to be changed *)
    10301031definition construct_datalabels: list (Identifier × Word) → ? ≝
    1031   λthe_preamble.
     1032foldl (identifier_map ASMTag Word) ? (λdatalabels,preamble.
     1033      let 〈name, addr〉 ≝ preamble in
     1034      add ? ? datalabels name addr) (empty_map …).
     1035(*  λthe_preamble.
    10321036    foldl ((identifier_map ASMTag Word)) ? (
    10331037    λpreamble,t. add … preamble (\fst t) (\snd t)) (empty_map ??) the_preamble.
Note: See TracChangeset for help on using the changeset viewer.