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