Changeset 1581 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Dec 1, 2011, 3:15:15 PM (8 years ago)
Author:
mulligan
Message:

Dangling de Bruijn pointer when trying to propagate russell to set_arg_1

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r1577 r1581  
    590590    try (/demod/ normalize nodelta >set_8051_sfr_ignores_clock >set_8051_sfr_ignores_clock >clock_set_clock @commutative_plus)
    591591    try (/demod/ normalize nodelta >clock_set_clock @commutative_plus)
     592    [5: /demod/ normalize nodelta >clock_set_clock >set_arg_1_ignores_clock
    592593(* XXX: weird open goals here *)
    593594(*    [14: normalize nodelta <set_arg_8_ignores_clock /demod/ normalize nodelta
Note: See TracChangeset for help on using the changeset viewer.