From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA04288 for caml-red; Tue, 10 Oct 2000 12:25:30 +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 AAA26012 for ; Mon, 9 Oct 2000 00:18:50 +0200 (MET DST) Received: from pinochet.cityline.ru (pinochet.cityline.ru [195.46.160.34]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e98MIk125008 for ; Mon, 9 Oct 2000 00:18:50 +0200 (MET DST) Received: from home.oyster.ru (115.172.10.dn.dialup.cityline.ru [195.46.172.115]) by pinochet.cityline.ru (8.10.2/t/08-Oct-1998) with ESMTP id e98MGkD09884 for ; Mon, 9 Oct 2000 02:16:49 +0400 (MSD) Date: Mon, 9 Oct 2000 02:18:06 +0400 (MSD) From: malc X-Sender: malc@home.oyster.ru To: caml-list@inria.fr Subject: Polymorphic variants in class methods Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis@pauillac.inria.fr # class foo = object method moo = `Bar end;; Some type variables are unbound in this type: class foo : object method moo : [> `Bar] end The method moo has type [> `Bar] where 'a is unbound Someone care to comment on that? P.S. Uhm, like im totaly lost on whats going on here. -- mailto:malc@pulsesoft.com