polymorphic variants, long form

polymorphic variants, long form

[Jacques Carette]

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

Re: [Caml-list] polymorphic variants, long form

[Luc Maranget]

> 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

-- Luc

Re: [Caml-list] polymorphic variants, long form

[Jacques Carette]

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

Re: [Caml-list] polymorphic variants, long form

[Romain Bardou]

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