Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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.

Markus Mottl

Markus Mottl                                   
Austrian Research Institute
for Artificial Intelligence        
Bug reports:  FAQ:
To unsubscribe, mail  Archives: