stdout in Unix module

From: Vincent Leleu (
Date: Wed Mar 25 1998 - 16:41:00 MET

Message-Id: <>
Date: Wed, 25 Mar 1998 15:41:00 +0000 (GMT)
From: Vincent Leleu <>
Subject: stdout in Unix module

Hello all,

Could anybody tell me how I should call 'flush stdout' in conjunction with the
Unix module.
Once a 'open Unix' directive has been called I get the following compilation

flush stdout;;
This expression has type Unix.file_descr but is here used with type out_channel


Sincerely yours.

Vincent Leleu

Computing Research Group
Johnson Building
University of Eastern England
Victoria Road South
Chelmsford CM1 1LL

Phone: +44 1245 493131 ext. 3416
FAX: +44 1245 495263

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET