Ignore:
Timestamp:
Sep 24, 2010, 5:57:30 PM (9 years ago)
Author:
sacerdot
Message:

Better I/O modelling (still initial ideas).

File:
1 edited

Legend:

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

    r123 r129  
    1010
    1111type time = int;;
     12type line = [`P0 | `P1 ];; (* ??? *)
     13type continuation =
     14 time ->
     15   [`In of line * byte * continuation
     16   |`Out of (line -> byte -> continuation) ]
    1217
    1318(* no differentiation between internal and external code memory *)
     
    4752   timer1: word;
    4853   timer2: word;  (* can be missing *)
    49    io: time * int -> byte option
     54   io: continuation
    5055 }
    5156
     
    8489  timer2 = zero `Sixteen;
    8590
    86   io = (fun (time, line) -> None)
     91  io = (fun _ -> assert false)
    8792}
    8893
Note: See TracChangeset for help on using the changeset viewer.