Version française
Home     About     Download     Resources     Contact us    
Browse thread
polymorphic variants, long form
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Romain Bardou <Romain.Bardou@l...>
Subject: Re: [Caml-list] polymorphic variants, long form
Jacques Carette a écrit :
> Luc Maranget wrote:
>>> What is the proper 'long name' of a polymorphic variant?
>>> module S = struct type a = [`Foo of int] end
>>>
>>> How do I refer to `Foo without opening S?  Both S.`Foo and `S.Foo are 
>>> syntax errors.
>>>
>>> Jacques
>>>     
>>
>> 'Foo does the job, it does not refer to any previous type definition.
>>
>> % ocaml
>>         Objective Caml version 3.11.0
>>
>> # `Foo;;
>> - : [> `Foo ] = `Foo
>>   
> Just  a few minutes after I sent my email, I remembered the answer 
> myself: unlike normal variants, polymorphic variants are not scoped but 
> affect the namespace in a GLOBAL way.  Both extremely convenient and 
> non-modular at the same time.

It does not actually affect the namespace, as there is no namespace for 
polymorphic variants. All variant names can be used, anywhere, and then 
types are inferred. Your type definition S.a does not declares anything 
but S.a, which is just a type abbreviation and could be expanded to 
[`Foo of int] everywhere.

-- 
Romain Bardou