From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA02719 for caml-redistribution; Thu, 13 Mar 1997 14:25:16 +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 KAA28988 for <caml-list@pauillac.inria.fr>; Thu, 13 Mar 1997 10:52:30 +0100 (MET)
Received: from paris.ensmp.fr (paris.ensmp.fr [192.54.165.200]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id KAA17545; Thu, 13 Mar 1997 10:52:27 +0100 (MET)
Received: from toxic.ensmp.fr (root@toxic [192.54.165.138]) by paris.ensmp.fr (8.7.3/8.7.3) with SMTP id KAA28251; Thu, 13 Mar 1997 10:52:26 +0100 (MET)
Received: by toxic.ensmp.fr (Smail3.1.29.1 #8)
	id m0w57Bp-0009bVC; Thu, 13 Mar 97 10:52 MET
Message-Id: <m0w57Bp-0009bVC@toxic.ensmp.fr>
Date: Thu, 13 Mar 97 10:52 MET
From: Alexandre Frey <frey@paris.ensmp.fr>
To: Bruno.Verlyck@inria.fr
CC: caml-list@inria.fr
In-reply-to: <199703121950.UAA13512@kickapoo.inria.fr>
	(Bruno.Verlyck@inria.fr)
Subject: Re: Objective Caml's Unix libraries
Reply-to: Alexandre.Frey@ensmp.fr
X-URL: http://www.ensmp.fr/~frey/
Sender: weis

Bruno,

> In english: Xavier's arguments are very strong.  But within them (and
> the Unix library), I can't write a /bin/sh clone, because of >&3
> (here, and for Pawel.Wojciechowski, it would be enough to add a fun
> fileno : filedesc -> int, like the stdio macro) and <&3 -- but I
> thought about it for only 5 min.
As a hack, you can always write this:
let fileno (fd: file_descr): int = (Obj.magic fd)

But of course, you loose the safety of the abstract `file_descr' type.

--
Alexandre.