Ignore:
Timestamp:
Nov 2, 2010, 9:44:49 AM (9 years ago)
Author:
mulligan
Message:

Compiled again.

File:
1 edited

Legend:

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

    r206 r209  
    17131713                 { status with io = cont })
    17141714           | _ -> status) in
     1715             status
     1716(* DPM: fixme *)
     1717(*
    17151718           (* Serial port output *)
    17161719           let status =
    1717              (let status = { status with serial_epsilon_out = Some (status.clock + epsilon);
    1718                                          serial_v_out = Some serial.sbuf;
    1719                                          serial_k_out = Some (out_cont (status.clock + epsilon) serial.sbuf) } in
    1720                if clock >= epsilon_out then
     1720             (let status = { status with serial_epsilon_out = Some (status.clock + status.io_epsilon);
     1721                                         serial_v_out = Some (`Eight status.sbuf);
     1722                                         serial_k_out = Some (snd (out_cont (status.clock + status.io_epsilon) (`SerialBuff (`Eight status.sbuf)))) } in
     1723               if status.clock >= status.serial_epsilon_out then
    17211724                 match status.serial_k_out with
    17221725                   None -> assert false (* correct? *)
     
    17261729                 status) in
    17271730           { status with previous_p1_val = get_bit status.p3 4; previous_p3_val = get_bit status.p3 5 }
     1731*)
    17281732;;
    17291733
Note: See TracChangeset for help on using the changeset viewer.