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 SAA17801 for caml-redistribution; Sun, 17 May 1998 18:27:08 +0200 (MET DST) 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 OAA05691 for ; Thu, 14 May 1998 14:14:26 +0200 (MET DST) Received: from louis-blanc.univ-evry.fr (louis-blanc.univ-evry.fr [194.199.90.2]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id OAA19450 for ; Thu, 14 May 1998 14:14:24 +0200 (MET DST) From: michel@lami.univ-evry.fr Received: from piaf.lami.univ-evry.fr (piaf.lami.univ-evry.fr [194.199.85.17]) by louis-blanc.univ-evry.fr with ESMTP (8.8.8/980318/louis-blanc); id OAA15724; Thu, 14 May 1998 14:14:24 +0200 (MET DST) Received: (michel@localhost) by piaf.lami.univ-evry.fr (8.8.5/97.01.21/lami); id OAA09058; Thu, 14 May 1998 14:14:23 +0200 (MET DST) Message-Id: <199805141214.OAA09058@piaf.lami.univ-evry.fr> Subject: ocaml et Unix To: caml-list@inria.fr Date: Thu, 14 May 1998 14:14:23 +0200 (MET DST) X-Mailer: ELM [version 2.4 PL25] Content-Type: text Sender: weis Bonjour, un certain nombre d'appels systemes Unix ne sont pas fournis via le module Unix sous ocaml1.07. Est-ce un choix delibere ou seulement un manque de temps ? Je pense par exemple a : fnctl, ioctl, pour signal(), le signal SIGIO (qui est bien POSIX). Cordialement, Olivier. -- Olivier MICHEL Email : michel@lami.univ-evry.fr Universite d'Evry Val d'Essonne http : www.lri.fr/~michel LaMI - EP738 du CNRS Phone : +33 (0)1.69.47.74.53 Boulevard des coquibus Fax : +33 (0)1.69.47.74.72 91025 Evry Cedex - FRANCE