Re: stdout in Unix module

From: Pierre Weis (Pierre.Weis@inria.fr)
Date: Fri Mar 27 1998 - 12:12:14 MET


From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <199803271112.MAA05734@pauillac.inria.fr>
Subject: Re: stdout in Unix module
To: vincent@cyberman.parc.anglia.ac.uk
Date: Fri, 27 Mar 1998 12:12:14 +0100 (MET)
In-Reply-To: <199803251541.PAA01346@yetti.parc.anglia.ac.uk> from "Vincent Leleu" at Mar 25, 98 03:41:00 pm

> 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

You should explicitely name stdout Pervasives.stdout, not to confuse
with Unix.stdout.

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/



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