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=none autolearn=disabled version=3.1.3 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 DCEDEBC6B for ; Thu, 8 Nov 2007 18:03:15 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKLQMkfAXQInh2dsb2JhbACBW40lAQEBCAop X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="19081416" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 18:03:02 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA8H2vpu024497 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 18:03:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACLPMkeCulhph2dsb2JhbACBW40lAQEBCAop X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="19081412" Received: from fiton.bononia.it ([130.186.88.105]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 18:02:57 +0100 Received: from aquarium.takhisis.invalid (fiton.bononia.it [130.186.88.105]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (verified OK)) by fiton.bononia.it (Postfix) with ESMTP id 56B9238064 for ; Thu, 8 Nov 2007 18:02:37 +0100 (CET) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id E18561240F6; Thu, 8 Nov 2007 18:02:43 +0100 (CET) Date: Thu, 8 Nov 2007 18:02:43 +0100 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: Re: [Caml-list] Search for the smallest possible possible Ocaml segfault.... Message-ID: <20071108170243.GB22338@takhisis.invalid> Mail-Followup-To: Inria Ocaml Mailing List References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47333433.40401@ed.ac.uk> <4733352B.60008@ed.ac.uk> <9d3ec8300711080817u2558d1ffy1189dc62d39bcfda@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <9d3ec8300711080817u2558d1ffy1189dc62d39bcfda@mail.gmail.com> User-Agent: Mutt/1.5.17 (2007-11-01) X-Miltered: at concorde with ID 47334141.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 ocaml:01 segfault:01 bug:01 val:01 ocamlc:01 ocamlc:01 -version:01 cheers:01 zacchiroli:01 zack:01 unibo:01 wrote:01 caml-list:01 On Thu, Nov 08, 2007 at 11:17:08AM -0500, Till Varoquaux wrote: > > This class should be virtual. The following variables are undefined : x > It would have been a good contender for the shorter bug. Not here: $ cat a.ml !((object val virtual x:_ method x = x end)#x) $ ocamlc a.ml $ ./a.out Segmentation fault $ ocamlc -version 3.10.0 Cheers. -- 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