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 WAA18865; Sun, 15 Jun 2003 22:49:30 +0200 (MET DST) 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 WAA17625 for ; Sun, 15 Jun 2003 22:49:28 +0200 (MET DST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h5FKnSH22146 for ; Sun, 15 Jun 2003 22:49:28 +0200 (MET DST) Received: from liafa1.liafa.jussieu.fr (liafa1.liafa.jussieu.fr [132.227.93.1]) by shiva.jussieu.fr (8.12.9/jtpda-5.4) with ESMTP id h5FKnRZA022468 for ; Sun, 15 Jun 2003 22:49:27 +0200 (CEST) Received: from liafa0.liafa.jussieu.fr (liafa0.liafa.jussieu.fr [132.227.81.1]) by liafa1.liafa.jussieu.fr (8.12.2/jtpda-5.3.2) with ESMTP id h5FKnIUj006393 for ; Sun, 15 Jun 2003 22:49:18 +0200 (CEST) Received: from (durak@localhost) by liafa0.liafa.jussieu.fr (8.11.6/jtpda-5.4) id h5FKnHW12983 for caml-list@inria.fr; Sun, 15 Jun 2003 22:49:17 +0200 Date: Sun, 15 Jun 2003 22:49:17 +0200 From: Berke Durak To: caml-list@inria.fr Subject: [Caml-list] Unbound type variables -- where is the .. ? Message-ID: <20030615204917.GA12921@liafa.jussieu.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4i X-Spam: no; 0.00; berke:01 durak:01 toto:01 variants:01 int:01 polymorphic:01 unbound:02 classes:03 object:03 variables:06 type:07 jussieu:07 alpha:07 function:09 inside:10 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello I get the following... # class toto = object method zizi = function | `Alpha -> 1 | `Beta -> 2 end;; Some type variables are unbound in this type: class toto : object method zizi : [< `Alpha | `Beta] -> int end The method zizi has type [< `Alpha | `Beta] -> int where .. is unbound Where is the .. ? Is there no way to use polymorphic variants inside classes ? -- Berke Durak ------------------- 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