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.1 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 D4730BC6B for ; Thu, 8 Nov 2007 16:20:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALK3MkfAXQImh2dsb2JhbACPAAEBAQgKKYEP X-IronPort-AV: E=Sophos;i="4.21,389,1188770400"; d="scan'208";a="4202760" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 16:20:21 +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 lA8FKIa9028526 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 16:20:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALK3MkdA6aLtmGdsb2JhbACPAAEBAQEHAgYrgQ8 X-IronPort-AV: E=Sophos;i="4.21,389,1188770400"; d="scan'208";a="19076571" Received: from nz-out-0506.google.com ([64.233.162.237]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Nov 2007 16:20:20 +0100 Received: by nz-out-0506.google.com with SMTP id z3so161658nzf for ; Thu, 08 Nov 2007 07:20:19 -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=Sg+P7+4NY6oLZ6i0sieGGy4hIRwbdM14CUt8Jdq9i4g=; b=VneR7GWBA+fLB2sy1yD4Jv8gJ/okYVg7CRJpODmWE2Z1qZWby4dJ1+WLN4YJtHB/9pLhVjMzYuBxHZKs74MkB9/RPOhcarzgCLSNt6/E0Va3NPShv4WvEDg5l5r9mXzcWMg7LCPaFajVFSanIIP42oE+8FyLOh0BOgqvF78gQ90= 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=UnVkfqz2fPaZEqS5kq0IYX27eL90Nd7UU+ZGqui5KHKOZU8lzfBSAc851TP7YqdpuUdTbYnj6JrXXChMvUGnU4ab9KvKCUAy2EpdfdwcCDBgKlhtXTzjxg3PojB8TP0mWB5QQu7mhXPsnu5+ycX3H4eJVu9302vYV8D8C1sGfhs= Received: by 10.142.217.17 with SMTP id p17mr144197wfg.1194535070606; Thu, 08 Nov 2007 07:17:50 -0800 (PST) Received: by 10.142.115.3 with HTTP; Thu, 8 Nov 2007 07:17:50 -0800 (PST) Message-ID: <9d3ec8300711080717x7e64434dge09f65fbb8783815@mail.gmail.com> Date: Thu, 8 Nov 2007 10:17:50 -0500 From: "Till Varoquaux" To: "=?UTF-8?Q?Jean-Christophe_Filli=C3=A2tre?=" Subject: Re: [Caml-list] Search for the smallest possible possible Ocaml segfault.... Cc: caml-list In-Reply-To: <47332472.8030800@lri.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <47332472.8030800@lri.fr> X-Miltered: at discorde with ID 47332932.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 segfault:01 bytecode:01 nativecode:01 -unsafe:01 -unsafe:01 -rectypes:01 bug:01 vouillon:01 scanf:01 segfault:01 ocaml:01 lri:01 filliatr:01 phane:98 Pgo+IGFuZCBJIGd1ZXNzIHlvdSBtZWFuIGluIGJvdGggYnl0ZWNvZGUgYW5kIG5hdGl2ZWNvZGUg YW5kIHdpdGhvdXQKPiBjb21waWxpbmcgd2l0aCAtdW5zYWZlLCByaWdodD8KPgpZZXMsCk9mIGNv dXJzZSAtdW5zYWZlIGlzIG91dCBvZiB0aGUgcGljdHVyZS4gVXNpbmcgdW5zYWZlIGZ1bmN0aW9u cwooU3RyaW5nLnVuc2FmZS1nZXQgZXRjLi4uKSB3aWxsIGFsc28gZGlzcXVhbGlmeSB5b3VyIHNv bHV0aW9uLgoKQW5kIEknbGwgcHVzaCBpdCBldmVuIGZ1cnRoZXI6IHVzaW5nIC1yZWN0eXBlcyBj b3VudHMgYXMgYSBwZW5hbHR5IGJ1dApjcmFzaGluZyB0aGUgaW50ZXJwcmV0ZXIgaXMgYSBib251 cy4KClRpbGwKUC5TLiBJIGZvcmdvdCB0byBnaXZlIGNyZWRpdCBpbiBteSBwcmV2aW91cyBtYWls OiB0aGUgYnVnIHdhcyBmb3VuZAp3aXRoIFN0w6lwaGFuZSBHbG9uZHUgYW5kIErDqXLDtG1lIFZv dWlsbG9uIHdoaWxlIHRyeWluZyB0byB1bmRlcnN0YW5kCnNjYW5mLCBob3dldmVyIHRoZXkgc2hv dWxkIG5vdCBiZSBoZWxkIHJlc3BvbnNpYmxlIGZvciB0aGlzIHBvc3QgLgpBZGFtIENobGlwYWxh IHBvaW50ZWQgb3V0IHRoaXMgbWlnaHQgYmUgdGhlIHJlY29yZCBmb3IgYSBzZWdmYXVsdCBpbgpP Y2FtbCwgZ2l2aW5nIG1lIHRoZSBpZGVhIG9mIGxhdW5jaGluZyB0aGlzIGNvbnRlc3QuLi4KPgo+ IC0tCj4gSmVhbi1DaHJpc3RvcGhlIEZpbGxpw6J0cmUKPiBodHRwOi8vd3d3LmxyaS5mci9+Zmls bGlhdHIvCj4KPgo+Cg==