From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id DCEFEBC6B for ; Thu, 8 Nov 2007 19:31:40 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAH3kMkfAXQInh2dsb2JhbACPAQEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,391,1188770400"; d="scan'208";a="4211672" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 19:31:40 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA8IVe2M027704 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 19:31:40 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACvlMkfRVaK0mGdsb2JhbACPAQEBAQEHBAQr X-IronPort-AV: E=Sophos;i="4.21,391,1188770400"; d="scan'208";a="5597228" Received: from el-out-1112.google.com ([209.85.162.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 19:31:39 +0100 Received: by el-out-1112.google.com with SMTP id m34so109693ele for ; Thu, 08 Nov 2007 10:31:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=WokGPqZWgrQ7zkqcufYFi8QHksXWj0Me1se8L2AVbAQ=; b=dt1Y73C+1ULLpWo82UoJ7dBx7CJ47RF8bVGMSwma93XyBWhnLD6SRpY8IvclYEYObXUFPvWjCL8thsTTCC2+fWM8Cx2QFgd1VJNgh2LwfgCki/E2/lC67lOknkSyKLOjOBliAhLWc/AY7f5pMaf/DapmD3FLaqT1PDCBlyvPd9I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=uShAb4bkxhvytrEpHD++m3zsMSrSKNMluOh52twV8wjhK9CL5F87pG56UIwm9+gECpgXw38i8YWRqWv8nIHUtukNhsLPMxd0RTz5ZqCaSW57Vlvr+oVz5DbDQxwZs4x1dFzYj/2a0S5hkbVivteWCjDpOMtY7V8QY/yOqnWBMIA= Received: by 10.142.101.17 with SMTP id y17mr133523wfb.1194546697451; Thu, 08 Nov 2007 10:31:37 -0800 (PST) Received: by 10.142.115.3 with HTTP; Thu, 8 Nov 2007 10:31:37 -0800 (PST) Message-ID: <9d3ec8300711081031t6697219r26c27533aa433b3c@mail.gmail.com> Date: Thu, 8 Nov 2007 13:31:37 -0500 From: "Till Varoquaux" To: "Xavier Leroy" Subject: Re: [Caml-list] STOP (was: Search for the smallest possible possible Ocaml segfault) Cc: caml-list In-Reply-To: <47334DAA.80407@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47334DAA.80407@inria.fr> X-Miltered: at concorde with ID 4733560C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 segfault:01 bug:01 segfaults:01 ling:98 childish:98 caml-list:01 unsafe:01 acknowledged:03 languages:03 guess:04 xavier:06 leroy:07 practice:09 i'm:09 > > > My impression was that bug reported via the mail ling list were > > acknowledged faster, I'm putting this theory to the test. > > You've just demonstrated out that this practice is very effective at > pissing me off. Are you satisfied? > > - Xavier Leroy I owe you a public apology: this was a very childish behavior. My aim was not to discredit the language nor the implementation. I feel blessed being able to use it in my day to day job and I think we all agree it is miles ahead of other "professional" languages and more practical than most pure research language. Triggering segfaults without resorting to unsafe techniques is very hard otherwise my previous post would have been pointless so I guess you could see this as a praise in disguise. Till