Changeset 1463 for src/ASM


Ignore:
Timestamp:
Oct 25, 2011, 5:33:53 PM (8 years ago)
Author:
mulligan
Message:

added erasure for lin

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Erase.ma

    r1461 r1463  
    9494    let 〈label, instruction〉 ≝ hd in
    9595    let relabelled ≝ relabel_pseudo_instruction instruction map in
     96    let label ≝
     97      match label with
     98      [ None ⇒ None …
     99      | Some label ⇒ Some … (lookup … ident map ident)
     100      ]
     101    in
    96102      〈label, relabelled〉 :: relabel tl map
    97103  ].
Note: See TracChangeset for help on using the changeset viewer.