From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA16617 for caml-redistribution; Fri, 27 Mar 1998 12:10:57 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA14576 for ; Wed, 25 Mar 1998 16:44:48 +0100 (MET) Received: from parc.anglia.ac.uk (cyberman-le1.parc.anglia.ac.uk [194.82.46.33]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id QAA06323 for ; Wed, 25 Mar 1998 16:44:46 +0100 (MET) Received: from yetti.parc.anglia.ac.uk (yetti [194.82.46.130]) by parc.anglia.ac.uk (8.8.7/8.8.7) with ESMTP id PAA05564 for ; Wed, 25 Mar 1998 15:48:50 GMT Received: from yetti (yetti [194.82.46.130]) by yetti.parc.anglia.ac.uk (8.8.7/8.8.7) with SMTP id PAA01346 for ; Wed, 25 Mar 1998 15:41:00 GMT Message-Id: <199803251541.PAA01346@yetti.parc.anglia.ac.uk> Date: Wed, 25 Mar 1998 15:41:00 +0000 (GMT) From: Vincent Leleu Reply-To: Vincent Leleu Subject: stdout in Unix module To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: AUbwJhkmdU7J8kXWQTaExQ== X-Mailer: dtmail 1.2.0 CDE Version 1.2 SunOS 5.6 sun4u sparc Sender: weis 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 conflict: flush stdout;; ^^^^^^ This expression has type Unix.file_descr but is here used with type out_channel Thanks. 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 E-Mail: vincent@parc.anglia.ac.uk URL: http://www.parc.anglia.ac.uk