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 KAA08506; Tue, 3 Feb 2004 10:32:38 +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 KAA07106 for ; Tue, 3 Feb 2004 10:32:37 +0100 (MET) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id i139Wav03121 for ; Tue, 3 Feb 2004 10:32:36 +0100 (MET) Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 1Anwv5-0004h3-00 for ; Tue, 03 Feb 2004 09:32:35 +0000 Date: Tue, 3 Feb 2004 09:32:35 +0000 Cc: caml-list@inria.fr Subject: Re: [Caml-list] Questions about types and objects Message-ID: <20040203093235.GA18033@redhat.com> References: <401F0263.8030105@itee.uq.edu.au> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <401F0263.8030105@itee.uq.edu.au> User-Agent: Mutt/1.5.4i From: Richard Jones X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 cole:99 lattice:01 upcast:01 lattice:01 type-safe:01 ltd:98 caml:01 caml:01 objects:02 wrote:03 library:03 perl:03 perl:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Feb 03, 2004 at 12:07:31PM +1000, Richard Cole wrote: > From an expression: > > diagram#make_from_hasse lattice; You need to upcast it. I've never really understood why this is necessary. diagram#make_from_hasse (lattice :> abstract_hasse_diagram); Rich. -- Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment Perl4Caml lets you use any Perl library in your type-safe Objective CAML programs. http://www.merjis.com/developers/perl4caml/ ------------------- 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