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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A37797EE80; Fri, 15 Mar 2013 16:44:24 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kerneis@pps.jussieu.fr) identity=pra; client-ip=213.186.56.95; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="kerneis@pps.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel@kerneis.info designates 213.186.56.95 as permitted sender) identity=mailfrom; client-ip=213.186.56.95; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@witko.kerneis.info designates 213.186.56.95 as permitted sender) identity=helo; client-ip=213.186.56.95; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@witko.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4JAAVBQ1HVujhf/2dsb2JhbABDh1kTR7xgBIFoFnSCKgEBBAEMFw8BDQEBNwEECwkCGgIFIQICDwVJiCEGBJUYmhJxg0oBBY8aBoEjjFyDSjJhll2BIIRSixGDCg X-IPAS-Result: Ar4JAAVBQ1HVujhf/2dsb2JhbABDh1kTR7xgBIFoFnSCKgEBBAEMFw8BDQEBNwEECwkCGgIFIQICDwVJiCEGBJUYmhJxg0oBBY8aBoEjjFyDSjJhll2BIIRSixGDCg X-IronPort-AV: E=Sophos;i="4.84,850,1355094000"; d="scan'208";a="6648127" Received: from witko.kerneis.info ([213.186.56.95]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Mar 2013 16:44:23 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=witko-rsa1; h=In-Reply-To:Content-Transfer-Encoding:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=5M4AXBm3BtlraHyUdC6py7GaW2ZOJhEDc7qhtCad6aY=; b=gbb2bJLM/I2KpRRlLjTMJ5wqi1iP/P/195x0DlH4TBBr2GVksE01fER7o0fzjsKFabXuR6a03GQNbd63SvLq9wHVdVHQRxFiA5gEAln9LuGHV1anWEWnazpEbafK01yN; Received: from c065.al.cl.cam.ac.uk ([128.232.110.65] helo=localhost) by witko.kerneis.info with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1UGWnn-0007Aj-H0; Fri, 15 Mar 2013 16:44:15 +0100 Date: Fri, 15 Mar 2013 15:44:14 +0000 From: Gabriel Kerneis To: oliver Cc: Jeremie Dimino , caml-list@inria.fr, ocsigen@inria.fr Message-ID: <20130315154414.GB6473@kerneis.info> References: <5142E780.7060806@hars.de> <20130315124345.GB3262@siouxsie> <20130315141735.GA4697@siouxsie> <20130315142715.GC4697@siouxsie> <20130315151134.GA5194@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20130315151134.GA5194@siouxsie> User-Agent: Mutt/1.5.21 (2010-09-15) X-SA-Exim-Connect-IP: 128.232.110.65 X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false Subject: Re: [Caml-list] BUG in unix.ml (was: strange errors when linking lwt.unix) Oliver, > I don't know why you are telling me this. > i did not asked about it. Jérémie is kindly trying to show you why you are mistaken. When you say: > > > Just by your activation of signal function - not blocking, but handling > > > "Sys.Signal_handle" but with the unreliable signal semantics this has > > > cause the problems. > > > > > > signal(2) opened the pandoras box. This is wrong. Because OCaml does not call signal(2). At all. So there is no "pandora box" to open, no "unreliable signal semantics" used. Sys.set_signal = sigaction(2) ≠ signal(2) (And sigprocmask(2) is irrelevant here: it is also part of the "reliable semantics", but does something different from sigaction(2), as Jérémie told you.) > But if you wish to explain it to yourself, go on. You are not only rude but also completely missing the point here. -- Gabriel