From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 24BB27EF5E for ; Mon, 25 Jul 2016 14:56:04 +0200 (CEST) IronPort-PHdr: 9a23:avkKFhMswwSO90QYuZol6mtUPXoX/o7sNwtQ0KIMzox0KPn9rarrMEGX3/hxlliBBdydsKMczbSP+PywEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU0Z38i7D60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9YwuxhX7rgq/stEFKH7ZLgQTLpCDT1gPXp/rJngvBzHCA+O/Wc0U2MMkxMODRKTvz/gWZKkkib8uvB822GwOsrzBeQ0VDKu9aZoYAPvkCAGcSY+93iRgct12vEI6Cm9rgByltaHKLqeM+BzK/vQ Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CMCwAEC5ZX/4aDpUVehBVLMYJ4tWyBfCSHbRQBAQEBAQEBAVwcC4IyFYJWezQFGCUMiEMOli+dQgWSY4ISHQWZKIYXiE4KaG4BjWiQIR42hA8gMgGJDAEBAQ X-IPAS-Result: A0CMCwAEC5ZX/4aDpUVehBVLMYJ4tWyBfCSHbRQBAQEBAQEBAVwcC4IyFYJWezQFGCUMiEMOli+dQgWSY4ISHQWZKIYXiE4KaG4BjWiQIR42hA8gMgGJDAEBAQ X-IronPort-AV: E=Sophos;i="5.28,419,1464645600"; d="scan'208";a="227869138" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Jul 2016 14:56:02 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 00C3AC2A09; Mon, 25 Jul 2016 08:55:59 -0400 (EDT) Date: Mon, 25 Jul 2016 08:55:59 -0400 From: Hendrik Boom To: "caml-list@inria.fr" Message-ID: <20160725125559.GA3606@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) Subject: [Caml-list] stat of nonexistent file While reading section 2.3 of https://ocaml.github.io/ocamlunix/files.html I noticed that it does not specify what stat and lstat returnsif the named file does not exist. (a) What do they do? (b) Should this be specified in the documentation? (c) Are these suitable functions to determine if a file exists? -- hendrik