Changeset 1541 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Nov 23, 2011, 4:31:01 PM (9 years ago)
Author:
mulligan
Message:

interpret.ma now compiles

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r1540 r1541  
    766766      ].
    767767    try assumption
    768     try (
    769       normalize
    770       repeat (@ (le_S_S))
    771       @ (le_O_n)
    772     )
    773     try (
    774       @ (execute_1_technical … (subaddressing_modein …))
    775       @ I
    776     )
    777     try (
    778       normalize
    779       @ I
    780     )
    781       ]. (*5s*)
    782     try assumption (*12s*)
    783768    [1,2: >set_program_counter_ignores_clock normalize nodelta
    784769      >write_at_stack_pointer_ignores_clock
     
    824809    | Mov dptr ident ⇒
    825810      let s ≝ set_clock ? s (\fst ticks + clock ? s) in
    826       let preamble ≝ \fst (code_memory ? s) in
    827       let data_labels ≝ construct_datalabels (map … (fst …) preamble) in
     811      let the_preamble ≝ \fst (code_memory ? s) in
     812      let data_labels ≝ construct_datalabels the_preamble in
    828813        set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup_def ? ? data_labels ident (zero ?)))) dptr
    829814    ]
Note: See TracChangeset for help on using the changeset viewer.