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 MAA06178; Wed, 11 Jul 2001 12:25:28 +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 MAA05799 for ; Wed, 11 Jul 2001 12:25:27 +0200 (MET DST) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f6BAPO916018 for ; Wed, 11 Jul 2001 12:25:24 +0200 (MET DST) Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.9.3/8.9.3/Debian 8.9.3-21) id MAA28763; Wed, 11 Jul 2001 12:25:15 +0200 Date: Wed, 11 Jul 2001 12:25:14 +0200 From: Markus Mottl To: Sami Nopanen Cc: caml-list@inria.fr Subject: Re: [Caml-list] Fully qualified polymorphic variants Message-ID: <20010711122514.B24765@fichte.ai.univie.ac.at> References: <200107111019.f6BAJ0T11433@pcuf.fi> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200107111019.f6BAJ0T11433@pcuf.fi>; from sam@pcuf.fi on Wed, Jul 11, 2001 at 10:18:59 +0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 11 Jul 2001, Sami Nopanen wrote: > I've been trying to use polymorphic variants with fully qualified names, > with no luck. Simple answer: you don't need fully qualified names! That's the idea behind polymorphic variants that they have the same representation no matter where they are used. They need not (cannot) be defined in a type definition, which also means that you need not (cannot) refer to them via module paths. Regards, Markus Mottl -- Markus Mottl markus@oefai.at Austrian Research Institute for Artificial Intelligence http://www.oefai.at/~markus ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr