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 EAA23475; Thu, 7 Feb 2002 04:21:55 +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 EAA24097 for ; Thu, 7 Feb 2002 04:21:54 +0100 (MET) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g173Lqn00255 for ; Thu, 7 Feb 2002 04:21:52 +0100 (MET) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id MAA08676; Thu, 7 Feb 2002 12:21:37 +0900 To: sacerdot@cs.unibo.it Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocamlc seems to diverge In-Reply-To: <20020206191844.A2359@cs.unibo.it> References: <20020206191844.A2359@cs.unibo.it> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020207122134L.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 07 Feb 2002 12:21:34 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Claudio Sacerdoti Coen > [This mail is just for developers; skip ahead if uninterested] > > 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? Well, yes. File a bug with a list of what is needed and where to get it, and maybe somebody will be courageous enough to try to solve it. Generally we are very serious about type checker bugs. Cheers, Jacques Garrigue ------------------- 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