Re: [Caml-list] How to pass C pointers to Caml

Le lundi 1 mars 2010 04:55:00, Jianzhou Zhao a écrit : > I have been calling OCaml code from C in my project. > The C code has some pointers to C structures. > I got 'seg fault' when calling the OCaml function receiving > C structure pointers. > > 18.7 at http://caml.inria.fr/pub/docs/manual-ocaml

[Caml-list] How to pass C pointers to Caml

I have been calling OCaml code from C in my project. The C code has some pointers to C structures. I got 'seg fault' when calling the OCaml function receiving C structure pointers. 18.7 at http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html gives the examples that pass int into OCaml. These

[Caml-list] gc overhead

I would like to determine what percentage of my application's cpu time is spent in the garbage collector (for tuning purposes, but also just to monitor the overhead). Is there any way to obtain this information short of using gprof? Additional information provided by Gc.stat would be ideal,

[Caml-list] Re: OCaml/C variant representation

On 28-02-2010, Jianzhou Zhao wrote: > On Wed, Feb 24, 2010 at 11:42 AM, Sylvain Le Gall wrote: >> On 24-02-2010, Jean Yang wrote: >> Please have a look at: >> http://caml.inria.fr/mantis/view.php?id=4803 >> >> This section is misleading. You should use hash_variant for `VConstr. >> >> In your ca

Re: [Caml-list] Re: OCaml/C variant representation

On Wed, Feb 24, 2010 at 11:42 AM, Sylvain Le Gall wrote: > Hello, > > On 24-02-2010, Jean Yang wrote: >> Hello, >> >>   I'm having some trouble with variant representation in the OCaml/C >> interface. >> >>   According to the reference I found ( >> http://caml.inria.fr/pub/docs/manual-ocaml/manua

Re: [Caml-list] Recursive subtyping issue

Goswin von Brederlow a écrit : Doing 'a t = private underlying allows you to create a type inference barrier. However, you also want to be able to cast from underlying to 'a t, when you get the result of a function in R or Python, for instance. So that's exactly the use case you mentionned abov

Re: [Caml-list] Recursive subtyping issue

Guillaume Yziquel writes: > Goswin von Brederlow a écrit : >> Guillaume Yziquel writes: >> >>> My goal is to implement a type inference barrier. >>> >>> You can do >>> type 'a q = private w >>> and from the type inference point of view, int q and float q are two >>> distinct types, that yo