Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] marshaling polymorphic variants
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] marshaling polymorphic variants
From: Henri Dubois-Ferriere <>

> Is the typing behavior of {un,}marshaling polymorphic variants specified 
> anywhere? I didn't find any explicit mention of it in the docs.

What do you mean by "typing behaviour"?
The type should be just the same...
The internal representation itself is described in section 18.3.6 of
the reference manual.
If you are talking about marshalling to and from C, and you have lots
of them, it may be easier (and more efficient) to use the varcc tool
included in lablgtk, which generates headers to easily convert tags.

        Jacques Garrigue

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: