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 RAA16048; Wed, 1 May 2002 17:10:50 +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 RAA16043 for caml-list@pauillac.inria.fr; Wed, 1 May 2002 17:10:50 +0200 (MET DST) 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 PAA04745 for ; Mon, 29 Apr 2002 15:53:40 +0200 (MET DST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g3TDreD25184 for ; Mon, 29 Apr 2002 15:53:40 +0200 (MET DST) Received: from poleia.lip6.fr (poleia.lip6.fr [132.227.201.28]) by isis.lip6.fr (8.12.2/jtpda-5.4+victor) with ESMTP id g3TDraqx030698 ; Mon, 29 Apr 2002 15:53:36 +0200 X-pt: isis.lip6.fr Received: from singha (mail@singha.lip6.fr [132.227.204.18]) by poleia.lip6.fr (8.8.6/jtpda-5.2) with ESMTP id PAA23018 ; Mon, 29 Apr 2002 15:53:34 +0200 (MET DST) Received: from gauthier (helo=localhost) by singha with local-esmtp (Exim 3.35 #1 (Debian)) id 172Baw-0006Zt-00; Mon, 29 Apr 2002 15:53:34 +0200 Date: Mon, 29 Apr 2002 15:53:33 +0200 (CEST) From: Nadji.Gauthier@lip6.fr X-Sender: gauthier@singha.lip6.fr To: Brian Rogoff cc: John Max Skaller , Nadji.Gauthier@lip6.fr, caml-list@inria.fr 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 > 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 :)) 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). I think the same thing happenned in my previous mail but I haven't managed to isolate the problem yet. Nadji ------------------- 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