Displaying 4 results from an estimated 4 matches for "executionengine_ocaml".
2010 Feb 28
2
[LLVMdev] Tag number of OCaml Variant in executionengine
Hi,
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...
2010 Feb 28
0
[LLVMdev] Tag number of OCaml Variant in executionengine
On Sun, Feb 28, 2010 at 8:38 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote:
> Hi,
>
> 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...
2010 Oct 25
0
[LLVMdev] Ocaml bindings for execution engines
Hi All,
Here is the code from bindings/ocam/executionengine/executionengine_ocaml.c.
/* llvalue -> GenericValue.t array -> ExecutionEngine.t -> GenericValue.t */
CAMLprim value llvm_ee_run_function(LLVMValueRef F, value Args,
LLVMExecutionEngineRef EE) {
unsigned NumArgs;
LLVMGenericValueRef Result, *GVArgs;
unsigned I;
NumA...
2010 Mar 01
2
[LLVMdev] Tag number of OCaml Variant in executionengine
...t; 3.10.0?
On Sun, Feb 28, 2010 at 6:48 PM, Erick Tryzelaar
<idadesub at users.sourceforge.net> wrote:
> On Sun, Feb 28, 2010 at 8:38 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote:
>> Hi,
>>
>> 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 t...