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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C89BDBC6B for ; Thu, 8 Nov 2007 20:06:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAF7tMkfAXQInh2dsb2JhbACPAQEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,391,1188770400"; d="scan'208";a="4042406" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 20:06:44 +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 lA8J6eiP029059 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 20:06:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAF7tMkfAbSoIh2dsb2JhbACPAQEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,391,1188770400"; d="scan'208";a="5598147" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 20:06:44 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from einhorn.in-berlin.de (localhost [127.0.0.1]) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id lA8J6hCG027138 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 8 Nov 2007 20:06:43 +0100 Received: (from www-data@localhost) by einhorn.in-berlin.de (8.13.6/8.13.6/Submit) id lA8J6hia027136 for caml-list@inria.fr; Thu, 8 Nov 2007 20:06:43 +0100 X-Authentication-Warning: einhorn.in-berlin.de: www-data set sender to oliver@first.in-berlin.de using -f Received: from dslb-088-073-073-204.pools.arcor-ip.net (dslb-088-073-073-204.pools.arcor-ip.net [88.73.73.204]) by webmail.in-berlin.de (IMP) with HTTP for ; Thu, 8 Nov 2007 20:06:43 +0100 Message-ID: <1194548803.47335e4348ebb@webmail.in-berlin.de> Date: Thu, 8 Nov 2007 20:06:43 +0100 From: Oliver Bandel To: caml-list Subject: Re: [Caml-list] STOP (was: Search for the smallest possible possible Ocaml segfault) References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47334DAA.80407@inria.fr> In-Reply-To: <47334DAA.80407@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.2.6 X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Miltered: at concorde with ID 47335E40.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bandel:01 in-berlin:01 ocaml:01 segfault:01 ocaml:01 segfaults:01 segfaults:01 bug:01 bug:01 ocaml-bug:01 bandel:01 repro:98 oliver:01 oliver:01 caml-list:01 Hello Xavier, Zitat von Xavier Leroy : > Guys, > > Before posting this kind of messages, I'd like you to stop for a > second and think about what you're doing. The answer is: a disservice > to the Caml community. [...] I hope that nobody has intended this. And I doubt that people wanted to disservice the OCaml-community. For me OCaml is the best language I've used. I think, most people here will agree. Segfaults in OCaml are seldom, but nevertheless those seldom seen segfaults should be fixed. The original poster stated out that the bug he posted was four months on status "new". This was a littlebid astonishing, and possibly the reason why this thread was started. [...] > Yes, OCaml has bugs, like all software of this complexity -- and > probably a lot less than your own software. Be supportive and > cooperative: post bug reports with repro cases where they belong, on > the bug tracking system, and let us developers handle them the way we > see fit. [...] Yes, I agree here. But it's not so easy to find a real bug in Ocaml, so people might not be motivated to make a login-account on the bugtracker and remember another password for something that seldom is in use. ;-) > > That kind of snickering posts is neither helpful nor supportive. I hope theese bugs will be all reported. And also I hope, they will be fixed then. I hope that you don't get any trouble from theese posts. I for myself have only stated that I hope the bugs will be fixed. The thing that I laughed about, really was a joke, because sending SIGSEGV to PID = 0 means that the program has to abort with a SIGSEGV, because it sends that signal to itself. So, this was NOT a Ocaml-bug, and it was NOT a bug at all. So, I think laughing about that is NOT laughing about OCaml. I hope you can see this thread with humor, if not today, maybe later. There is no reason for you to be bothered here. Your work is undisputed. Best Regards, Oliver Bandel