Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Fully qualified polymorphic variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Markus Mottl <markus@m...>
Subject: Re: [Caml-list] Fully qualified polymorphic variants
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