[Caml-list] Fully qualified polymorphic variants

[Caml-list] Fully qualified polymorphic variants

[Sami Nopanen]

I've been trying to use polymorphic variants with fully qualified names, with no luck.

I've tried the possibilities obvious to me, like: (example of using Pcre)
  `Pcre.CASELESS
  Pcre.`CASELESS
  `(Pcre.CASELESS)
  Pcre.(`CASELESS)

None of them seemed to work. Is there a way to do this, and if so, what would be the
corrert syntax.

Cheers,

Sami Nopanen, snopanen@cc.hut.fi
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Fully qualified polymorphic variants

[Jacques Garrigue]

> I've been trying to use polymorphic variants with fully qualified names, with no luck.
> 
> I've tried the possibilities obvious to me, like: (example of using Pcre)
>   `Pcre.CASELESS
>   Pcre.`CASELESS
>   `(Pcre.CASELESS)
>   Pcre.(`CASELESS)

The point about polymorphic variants is that you don't have to qualify
them!

The solution is `CASELESS, independent of the context.

Jacques Garrigue
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Fully qualified polymorphic variants

[Markus Mottl]

On Wed, 11 Jul 2001, Sami Nopanen wrote:
> I've been trying to use polymorphic variants with fully qualified names,
> with no luck.

Simple answer: you don't need fully qualified names! That's the idea
behind polymorphic variants that they have the same representation no
matter where they are used. They need not (cannot) be defined in a type
definition, which also means that you need not (cannot) refer to them
via module paths.

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr