]> 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