Ignore:
Timestamp:
Oct 18, 2010, 3:19:27 PM (9 years ago)
Author:
mulligan
Message:

Fixed type errors relating to serial output. The serial port code (for
output at least) seems to correctly simulate the compiled C code that I
sent Roberto on Friday.

File:
1 edited

Legend:

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

    r191 r193  
    88            | `P3 of byte
    99            | `SerialBuff of [ `Eight of byte | `Nine of BitVectors.bit * byte ]];;
     10
     11val string_of_line: line -> string;;
    1012(* In:  reception time, line of input, new continuation,
    1113   Out: transmission time, output line, expected duration until reply,
     
    1416type continuation =
    1517  [`In of time * line * continuation] option *
    16   [`Out of (time -> line -> time * continuation) ] option
     18  [`Out of (time -> line -> time * continuation) ]
    1719
    1820type status = private
Note: See TracChangeset for help on using the changeset viewer.