English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] ocamlc seems to diverge
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-02-06 (18:18)
From: Claudio Sacerdoti Coen <sacerdot@c...>
Subject: [Caml-list] ocamlc seems to diverge

 [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?


Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: sacerdot@cs.unibo.it
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