Changeset 129 for Deliverables/D4.1
- Timestamp:
- Sep 24, 2010, 5:57:30 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ASMInterpret.ml
r123 r129 10 10 11 11 type time = int;; 12 type line = [`P0 | `P1 ];; (* ??? *) 13 type continuation = 14 time -> 15 [`In of line * byte * continuation 16 |`Out of (line -> byte -> continuation) ] 12 17 13 18 (* no differentiation between internal and external code memory *) … … 47 52 timer1: word; 48 53 timer2: word; (* can be missing *) 49 io: time * int -> byte option54 io: continuation 50 55 } 51 56 … … 84 89 timer2 = zero `Sixteen; 85 90 86 io = (fun (time, line) -> None)91 io = (fun _ -> assert false) 87 92 } 88 93
Note: See TracChangeset
for help on using the changeset viewer.