Ignore:
Timestamp:
Sep 23, 2010, 3:57:19 PM (9 years ago)
Author:
mulligan
Message:

Fixed obscure type error in pretty.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.ml

    r120 r121  
    22open Physical;;
    33open ASM;;
     4open Pretty;;
    45
    56exception Fetch_exception of string;;
     
    118119       `ACALL (`ADDR11 (mk_word11 a10 a9 a8 b1)), pc, 2
    119120   | (false,false,true,false),(true,r1,r2,r3) ->
    120       `ADD (`A,`REG (r1,r2,r3)), pc, 1
     121       `ADD (`A,`REG (r1,r2,r3)), pc, 1
    121122   | (false,false,true,false),(false,true,false,true) ->
    122123      let pc,b1 = next pc in
     
    141142       `AJMP (`ADDR11 (mk_word11 a10 a9 a8 b1)), pc, 2
    142143   | (false,true,false,true),(true,r1,r2,r3) ->
    143       `ANL (`U1 (`A, `REG (r1,r2,r3))), pc, 1
     144       `ANL (`U1 (`A, `REG (r1,r2,r3))), pc, 1
    144145   | (false,true,false,true),(false,true,false,true) ->
    145146      let pc,b1 = next pc in
Note: See TracChangeset for help on using the changeset viewer.