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 XAA13063; Mon, 9 Sep 2002 23:08:21 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA13292 for ; Mon, 9 Sep 2002 23:08:20 +0200 (MET DST) Received: from students.mimuw.edu.pl (zodiac.mimuw.edu.pl [193.0.96.128]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g89L8J911775 for ; Mon, 9 Sep 2002 23:08:19 +0200 (MET DST) Received: by students.mimuw.edu.pl (Postfix, from userid 2738) id A1D13179C0; Mon, 9 Sep 2002 22:59:54 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by students.mimuw.edu.pl (Postfix) with ESMTP id 9CFF13F8D for ; Mon, 9 Sep 2002 22:59:54 +0200 (CEST) Date: Mon, 9 Sep 2002 22:59:54 +0200 (CEST) From: Lukasz Lew X-X-Sender: ll189417@zodiac.mimuw.edu.pl To: caml-list@inria.fr Subject: Re: [Caml-list] Does this function exist? In-Reply-To: <86bs76c27r.fsf@laurelin.dementia.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Here we see that when we're inside the polymorphic function, the type > information is lost (even though we're in debugging mode.) Only by > going up the stack to a point where the type of the value is known can > we learn anything. Agreed. So, it's a pity. Does it apply equally to bytecode and native? So maybe at least at ocamltop this function exist? Lukasz Lew ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners