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 RAA16061; Wed, 1 May 2002 17:10:59 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA16056 for caml-list@pauillac.inria.fr; Wed, 1 May 2002 17:10:59 +0200 (MET DST) 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 QAA05005 for ; Mon, 29 Apr 2002 16:01:32 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from sj1-3-4-9.securesites.net (sj1-3-4-9.securesites.net [192.220.127.202]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g3TE1Vf24339 for ; Mon, 29 Apr 2002 16:01:31 +0200 (MET DST) Received: (qmail 63940 invoked by uid 16863); 29 Apr 2002 14:01:29 -0000 Received: from unknown (HELO localhost) ([192.220.65.223]) (envelope-sender ) by 192.220.65.223 (qmail-ldap-1.03) with SMTP for ; 29 Apr 2002 14:01:29 -0000 Date: Mon, 29 Apr 2002 14:01:29 +0000 (GMT) From: Brian Rogoff To: Nadji.Gauthier@lip6.fr cc: John Max Skaller , Subject: Re: [Caml-list] Polymorphic Variants and Number Parameterized Types In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 29 Apr 2002 Nadji.Gauthier@lip6.fr wrote: > > use variants. Also, I'm willing to bet that you uncovered a bug in the > > type checker (with the "variables can't be generalized" only when in > > the compiler). Have you filed a bug report yet? > > I haven't. And since I don't fully understand PV typing, > I prefer not to bother the developers (I fear the > "this is a feature not a bug" reply :)) Sure, but it is also possible you found a problem and we all could benefit from its removal. > But I understand that there may be error when source > is compiled when there aren't in the interpreter, ex: > let x = ref [] > When compiled, this gives : > The type of this expression, '_a list ref, > contains type variables that cannot be generalized > And this is perfectly fair (think of 2 different modules > accessing x, there may be a type clash). That's right. > I think the same thing happenned > in my previous mail but I haven't managed to isolate the problem yet. I played a bit with your example, and while I haven't isolated the problem, I found that there is no problem with the reported expression. The problem only happened when the f_ngt5 (or whatever you called it) was included and disappeared when it was removed. So it seems like a genuine bug. -- Brian ------------------- 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