Displaying 4 results from an estimated 4 matches for "manual032".
2010 Feb 28
2
[LLVMdev] Tag number of OCaml Variant in executionengine
...At the code below from
./bindings/ocaml/executionengine/executionengine_ocaml.c,
we create an OCaml Variant from C. It is from 2.6, the latest 2.7 has
the same code.
Line 240 Option = alloc(1, 1) assigns tag1 to the 'some' constructor.
In term of http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html,
I think the 'some' should have a tag 0. We dont have a runtime error
for this, the reason might be there is only two constructors, one
is None represented as unboxed int, the other is Some represented
as a tagged block, and OCaml runtime may only distinguish them
as the structures, bu...
2010 Feb 28
0
[LLVMdev] Tag number of OCaml Variant in executionengine
..../bindings/ocaml/executionengine/executionengine_ocaml.c,
> we create an OCaml Variant from C. It is from 2.6, the latest 2.7 has
> the same code.
>
> Line 240 Option = alloc(1, 1) assigns tag1 to the 'some' constructor.
> In term of http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html,
> I think the 'some' should have a tag 0. We dont have a runtime error
> for this, the reason might be there is only two constructors, one
> is None represented as unboxed int, the other is Some represented
> as a tagged block, and OCaml runtime may only distinguish them
&...
2010 Oct 25
0
[LLVMdev] Ocaml bindings for execution engines
...Lreturn. Is this safe in this case, because we allocated a
GVArgs? The other bindings files, sometimes, also ignore CAMLparam and
CAMLreturn if Caml "value" refers to unit, but the Ocaml manual
suggests to use CAMLparam for any value parameters (
http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html#toc140). Is
there any case where we can weak this restriction?
I have been working on defining more bindings for ExecutionEngine, but
got some inconsistent results at runtime. I used valgrind to check my
program, it reports some invalid writes or reads in C overlapping with
some memory space...
2010 Mar 01
2
[LLVMdev] Tag number of OCaml Variant in executionengine
...cutionengine/executionengine_ocaml.c,
>> we create an OCaml Variant from C. It is from 2.6, the latest 2.7 has
>> the same code.
>>
>> Line 240 Option = alloc(1, 1) assigns tag1 to the 'some' constructor.
>> In term of http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html,
>> I think the 'some' should have a tag 0. We dont have a runtime error
>> for this, the reason might be there is only two constructors, one
>> is None represented as unboxed int, the other is Some represented
>> as a tagged block, and OCaml runtime may only di...