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 TAA12003; Wed, 6 Feb 2002 19:18:46 +0100 (MET) 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 TAA06560 for ; Wed, 6 Feb 2002 19:18:45 +0100 (MET) Received: from CS.UniBO.IT (leporello.cs.unibo.it [130.136.1.110]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g16IIjT15150 for ; Wed, 6 Feb 2002 19:18:45 +0100 (MET) Received: from marcello.cs.unibo.it (root@marcello.cs.unibo.it [130.136.2.29]) by CS.UniBO.IT (8.9.3/8.9.3/Debian 8.9.3-6) with ESMTP id TAA02603 for ; Wed, 6 Feb 2002 19:18:44 +0100 Received: (from sacerdot@localhost) by marcello.cs.unibo.it (8.9.3/8.9.3/Debian 8.9.3-21) id TAA02375 for caml-list@inria.fr; Wed, 6 Feb 2002 19:18:44 +0100 Date: Wed, 6 Feb 2002 19:18:44 +0100 From: Claudio Sacerdoti Coen To: caml-list@inria.fr Subject: [Caml-list] ocamlc seems to diverge Message-ID: <20020206191844.A2359@cs.unibo.it> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i X-Operating-System: Debian GNU/Linux X-Organization: Department of computer science, University of Bologna, Eurpean Union Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, [This mail is just for developers; skip ahead if uninterested] I have just found an(other) example of a file (heavily based on recursive classes) where ocamlc seems to diverge. Or at least it requires hundreds of megabytes of RAM. Just putting an Obj.magic in the right position does the trick. I think this is related to a recent bug posted on this list some days ago. Problem: to reproduce the bug you have to install (mainly from CVS) gtkmathview 0.3.0 (unreleased yet), gdome2, gmetadom (unreleased yet) and lablgtkmathview (unreleased yet). After that you can easily reproduce the bug. What should I do? I open a bug with the list of the software to install? Regards, C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen PhD Student in Computer Science at University of Bologna E-mail: sacerdot@cs.unibo.it http://caristudenti.cs.unibo.it/~sacerdot ---------------------------------------------------------------- ------------------- 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