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 BAA05731; Thu, 13 Mar 2003 01:56:21 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 BAA05273 for ; Thu, 13 Mar 2003 01:56:20 +0100 (MET) From: brogoff@speakeasy.net Received: from grace.speakeasy.org (grace.speakeasy.org [216.254.0.2]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id h2D0uJX13195 for ; Thu, 13 Mar 2003 01:56:19 +0100 (MET) Received: (qmail 11844 invoked by uid 36130); 13 Mar 2003 00:56:18 -0000 Received: from localhost (sendmail-bs@127.0.0.1) by localhost with SMTP; 13 Mar 2003 00:56:18 -0000 Date: Wed, 12 Mar 2003 16:56:18 -0800 (PST) To: Damien cc: "caml-list@pauillac.inria.fr" Subject: Re: [Caml-list] polymorphic methods In-Reply-To: <20030313000716.3e6bb57c.Damien.Pous@ens-lyon.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam: no; 0.00; brogoff:01 caml-list:01 damien:01 bug:01 faq:01 beginner's:01 beginners:01 bin:01 caml-bugs:01 ocaml:01 caml:01 speakeasy:01 groups:01 polymorphic:01 abbreviation:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Why are you trying to use a polymorphic method here? Can't you just do # class type a = object ('a) method m : 'a -> unit end ;; class type a = object ('a) method m : 'a -> unit end -- Brian On Thu, 13 Mar 2003, Damien wrote: > Hello, > > Does someone know why the following class type > is not accepted ? > > # class type a = object method m: 'a. (#a as 'a) -> unit end;; > The abbreviation #a expands to type #a but is used with type < .. > > # > > Thanks, > Damien > > ------------------- > 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 > ------------------- 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