Ignore:
Timestamp:
Dec 5, 2010, 11:54:59 PM (9 years ago)
Author:
sacerdot
Message:

1) notation for cast fixed
2) ambiguity reduced: Empty => VEmpty, Cons => VCons
3) DoTest? modified to pretty-print the execution trace.

This should make debugging easier.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Interpret.ma

    r372 r374  
    255255            let old_acc ≝ get_8051_sfr s SFR_ACC_A in
    256256            let new_cy_flag ≝ get_index' ? Z ? old_acc in
    257             let new_acc ≝ shift_left ? eight one old_acc old_cy_flag in
     257            let new_acc ≝ shift_left one old_acc old_cy_flag in
    258258            let s ≝ set_arg_1 s CARRY new_cy_flag in
    259259              set_8051_sfr s SFR_ACC_A new_acc
     
    262262            let old_acc ≝ get_8051_sfr s SFR_ACC_A in
    263263            let new_cy_flag ≝ get_index' ? seven ? old_acc in
    264             let new_acc ≝ shift_right ? eight one old_acc old_cy_flag in
     264            let new_acc ≝ shift_right one old_acc old_cy_flag in
    265265            let s ≝ set_arg_1 s CARRY new_cy_flag in
    266266              set_8051_sfr s SFR_ACC_A new_acc
Note: See TracChangeset for help on using the changeset viewer.