Changeset 129 for Deliverables/D4.1

Timestamp:

Sep 24, 2010, 5:57:30 PM (10 years ago)

Author:

sacerdot

Message:

Better I/O modelling (still initial ideas).

File:

• Deliverables/D4.1/ASMInterpret.ml (modified) (3 diffs)

Deliverables/D4.1/ASMInterpret.ml

@@ -10 +10 @@
 
 type time = int;;
+type line = [`P0 | `P1 ];; (* ??? *)
+type continuation =
+ time ->
+   [`In of line * byte * continuation
+   |`Out of (line -> byte -> continuation) ]
 
 (* no differentiation between internal and external code memory *)
@@ -47 +52 @@
    timer1: word;
    timer2: word;  (* can be missing *)
-   io: time * int -> byte option
+   io: continuation
  }
 
@@ -84 +89 @@
   timer2 = zero `Sixteen;
 
-  io = (fun (time, line) -> None)
+  io = (fun _ -> assert false)
 }