From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C9C37BB9C for ; Fri, 20 Jan 2006 18:59:00 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k0KHx0kc019835 for ; Fri, 20 Jan 2006 18:59:00 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA00123 for ; Fri, 20 Jan 2006 18:58:59 +0100 (MET) Received: from smtp11.wanadoo.fr (smtp11.wanadoo.fr [193.252.22.31]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k0KHwx4H016375 for ; Fri, 20 Jan 2006 18:58:59 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf1108.wanadoo.fr (SMTP Server) with ESMTP id 5606D1C00046 for ; Fri, 20 Jan 2006 18:58:59 +0100 (CET) Received: from morgana (ARennes-257-1-28-197.w81-53.abo.wanadoo.fr [81.53.11.197]) by mwinf1108.wanadoo.fr (SMTP Server) with ESMTP id 2FBDD1C000A1; Fri, 20 Jan 2006 18:58:59 +0100 (CET) X-ME-UUID: 20060120175859195.2FBDD1C000A1@mwinf1108.wanadoo.fr Received: from david by morgana with local (Exim 4.50) id 1F00Xl-0001Vx-QT; Fri, 20 Jan 2006 18:59:25 +0100 To: Alessandro Baretta Cc: Ocaml Subject: Re: [Caml-list] Exception from the compiler References: <43D11F17.4050503@barettadeit.com> From: David MENTRE Organization: none Date: Fri, 20 Jan 2006 18:59:25 +0100 In-Reply-To: <43D11F17.4050503@barettadeit.com> (Alessandro Baretta's message of "Fri, 20 Jan 2006 18:34:15 +0100") Message-ID: <87mzhqdblu.fsf@linux-france.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce with ID 43D124E4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43D124E3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 compiler:01 baretta:01 baretta:01 barettadeit:01 iter:01 ocamlc:01 backtrace:01 bug:01 bug:01 recompile:01 ocamlc:01 makefile:01 writes:01 exception:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=RCVD_IN_NJABL_PROXY autolearn=disabled version=3.0.3 Alessandro Baretta writes: > > Fatal error: exception Invalid_argument("List.iter2") > > Since ocamlc is not built with -g itself, I cannot produce an exception > backtrace. How can I investigate this bug, so as to produce a meaningful > bug report? 1. find the smallest program triggering the error? 2. recompile ocamlc by adding '-g' option to CAMLC in Makefile file? Best wishes, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A