Changeset 3045 for src/ASM/Status.ma


Ignore:
Timestamp:
Mar 29, 2013, 10:15:54 PM (7 years ago)
Author:
tranquil
Message:

fixed what made test3 fail. However it involves a different notion of
what actually the ASM preamble is (table of addresses rather than
table of sizes). It will need to be discussed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r3024 r3045  
    10301030definition construct_datalabels: list (Identifier × Word) → ? ≝
    10311031  λthe_preamble.
    1032     \fst (foldl ((identifier_map ASMTag Word) × Word) ? (
    1033     λt. λpreamble.
     1032    foldl ((identifier_map ASMTag Word)) ? (
     1033    λpreamble,t. add … preamble (\fst t) (\snd t)) (empty_map ??) the_preamble.
     1034(*
    10341035      let 〈datalabels, addr〉 ≝ t in
    10351036      let 〈name, size〉 ≝ preamble in
     
    10371038        〈add ? ? datalabels name addr, sum〉)
    10381039          〈empty_map …, zero 16〉 (the_preamble)).
     1040*)
Note: See TracChangeset for help on using the changeset viewer.