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
Obj module
[ 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: Obj module
From: Hendrik Tews <>

> where can I find documentation on the Obj module in the standard
> library?

There is (intentionally) no documentation to this module.
But it shall be rather easy to understand once you read the chapter on
interfacing with C in the reference manual, which gives lots of
information about how values are represented physically.

> Can somebody explain the meaning of those C primitives starting
> with a percent sign, eg "%identity"?

These primitives are handled in a special way by the compiler.
For "%identity", it is simply discarded, as you might expect.
Some others are converted to instructions of the abstract machine.
And finally some may really call C primitives.
The only way to really know what happens is to read the compiler's

Jacques Garrigue      Kyoto University     garrigue at
		<A HREF=>JG</A>