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 2D8E8BC6B for ; Thu, 8 Nov 2007 17:31:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAM7IMkdCbwQZnmdsb2JhbACPAAEBAQEHBAYp X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="4037544" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 17:31:01 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA8GUx3m023176 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 8 Nov 2007 17:31:01 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAM7IMkdCbwQZnmdsb2JhbACPAAEBAQEHBAYp X-IronPort-AV: E=Sophos;i="4.21,390,1188770400"; d="scan'208";a="4037543" Received: from out1.smtp.messagingengine.com ([66.111.4.25]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Nov 2007 17:31:00 +0100 Received: from compute1.internal (compute1.internal [10.202.2.41]) by out1.messagingengine.com (Postfix) with ESMTP id DDF67460A1; Thu, 8 Nov 2007 11:30:59 -0500 (EST) Received: from heartbeat1.messagingengine.com ([10.202.2.160]) by compute1.internal (MEProxy); Thu, 08 Nov 2007 11:30:59 -0500 X-Sasl-enc: +ilLamb9Mv4hfLf69l2Hdo+zqc8zVBRlA+3ahN02BUk9 1194539459 Received: from [192.168.1.11] (AMontsouris-753-1-8-165.w90-2.abo.wanadoo.fr [90.2.132.165]) by mail.messagingengine.com (Postfix) with ESMTP id 13211BFC1; Thu, 8 Nov 2007 11:30:58 -0500 (EST) Date: Thu, 8 Nov 2007 17:30:51 +0100 (CET) From: Martin Jambon X-X-Sender: martin@martin.ec.wink.com To: Alain Frisch Cc: Till Varoquaux , caml-list Subject: Feature request (was Re: [Caml-list] Search for the smallest possible possible Ocaml segfault....) In-Reply-To: <473333D0.3040807@frisch.fr> Message-ID: References: <9d3ec8300711080617g1b023711o1a8f9aa50b7874@mail.gmail.com> <473333D0.3040807@frisch.fr> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Miltered: at concorde with ID 473339C3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ens-lyon:01 ocaml:01 segfault:01 pervasives:01 segfault:01 caml-list:01 jambon:01 jambon:01 library:03 standard:07 function:08 feature:09 think:13 should:13 martin:13 I think that the standard library should provide a Pervasives.segfault function. Martin -- http://wink.com/profile/mjambon http://martin.jambon.free.fr