From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA07901; Thu, 8 Nov 2001 09:32:27 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
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 JAA08031 for <caml-list@pauillac.inria.fr>; Thu, 8 Nov 2001 09:32:26 +0100 (MET)
Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA88WPX05258
	for <caml-list@inria.fr>; Thu, 8 Nov 2001 09:32:25 +0100 (MET)
Received: from ithif51 (ithif51 [141.76.75.51])
	by tcs.inf.tu-dresden.de (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id fA88WO49008276
	for <caml-list@inria.fr>; Thu, 8 Nov 2001 09:32:25 +0100 (MET)
Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian))
	id 161kbo-00055o-00
	for <caml-list@inria.fr>; Thu, 08 Nov 2001 09:32:24 +0100
From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <15338.17176.354259.114930@gargle.gargle.HOWL>
Date: Thu, 8 Nov 2001 09:32:24 +0100 (CET)
To: caml-list@inria.fr
Subject: [Caml-list] Called from unknown location
X-Mailer: VM 6.75 under Emacs 20.7.2
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hi,

with OCAMLRUNPARAM=b=1 my backtrace has some lines with precise
locations like 

    Called from module Main, character 12011

but lots of lines 

    Called from unknown location

What am I doing wrong? How can I get all locations?

Moreover, the start of the backtrace is wrong, it looks like

   Fatal error: uncaught exception Assert_failure("lifting.ml", 26109, 26122)
   Raised at module Format, character 5250
   Called from module Format, character 11592
   [...]

so the assertion is raised in lifting.ml, which is a plain (i.e.
without modules) ml file. Why does it print "Raised at module
Format" ?


Bye,

Hendrik
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr