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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 93270BC6B for ; Thu, 8 Nov 2007 18:10:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALbRMkdIDtbii2dsb2JhbACPAAEBAQgEBCQF X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="19081759" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 18:10:27 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA8HAMEp001820 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 18:10:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALbRMkdIDtbii2dsb2JhbACPAAEBAQgEBCQF X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="19081758" Received: from hu-out-0506.google.com ([72.14.214.226]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 18:10:26 +0100 Received: by hu-out-0506.google.com with SMTP id 16so1472280hue for ; Thu, 08 Nov 2007 09:10:25 -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:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=ylM8UvqxIlh6fIwNg8gmU66T+zGEhIE5nU4wDjucGWo=; b=pGEYaf6F5+q2E9SV9YB8a/TRqNpAlGRVJEfpPp2Qm7dCYkbcmpMIE2nqfuLhzdud3CX0EV1ZwCzLKc1Xhx1BbS2gb7puB1es2HXW/UkjhkrrkmSVuTrNuKToUjO8xzVDC3aGTkfPiUTt4UHLvcWEw8X0V9Fs43qjuFJA4mlvb5E= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=uU+BI4rYKRr02AtCbWwr79wY327sYigwcOAousKXkr9l/tDSRLPEJpongx++Sc2/KjtWSosHUi070zkAylHIv1mzfPwtM4TsZwmvx0YtlzAlkqjXk5258BVdRw9Z0/5TkS1w9D58spZd0Ch1antBBnTeKiqde8uBlhNcg3VelvM= Received: by 10.142.76.4 with SMTP id y4mr246807wfa.1194541824347; Thu, 08 Nov 2007 09:10:24 -0800 (PST) Received: by 10.142.115.3 with HTTP; Thu, 8 Nov 2007 09:10:24 -0800 (PST) Message-ID: <9d3ec8300711080910l5dac25c0wc0dac44812143f57@mail.gmail.com> Date: Thu, 8 Nov 2007 12:10:24 -0500 From: "Till Varoquaux" To: "Inria Ocaml Mailing List" Subject: Re: [Caml-list] Search for the smallest possible possible Ocaml segfault.... In-Reply-To: <20071108170243.GB22338@takhisis.invalid> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47333433.40401@ed.ac.uk> <4733352B.60008@ed.ac.uk> <9d3ec8300711080817u2558d1ffy1189dc62d39bcfda@mail.gmail.com> <20071108170243.GB22338@takhisis.invalid> X-Miltered: at discorde with ID 473342FE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 segfault:01 ocamlc:01 -version:01 cheers:01 ocamlc:01 -version:01 zacchiroli:01 zack:01 unibo:01 zack:01 beginner's:01 ocaml:01 bug:01 beginners:01 > $ ocamlc -version > 3.10.0 > > Cheers. It's fixed in the development release $ ocamlc -version 3.10.1+dev0 (2007-05-21) Till > -- > Stefano Zacchiroli -*- PhD in Computer Science ............... now what? > zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ > (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the > (15:57:15) Bac: no, la demo scema \/ right keys at the right time > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- http://till-varoquaux.blogspot.com/