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.

Jacques