Ocaml <-> C

Ocaml <-> C

[Paul Argentoff]

Hello world!

Let's say we have a function:

external f : t option -> unit = "c_f"

How can I make analysis depending on the parameter, which in Ocaml is:

match a with
  | None -> chunk1
  | Some x -> chunk2 x

What functions/macros from a standard ocaml includes set can I use?

-- 
Yours truly, WBR, Paul Argentoff.
Jabber:	paul@jabber.rtelekom.ru
RIPE:	PA1291-RIPE

Re: [Caml-list] Ocaml <-> C

[Jean-Christophe Filliatre]

Hello,

Paul Argentoff writes:
 > 
 > Let's say we have a function:
 > 
 > external f : t option -> unit = "c_f"
 > 
 > How can I make analysis depending on the parameter, which in Ocaml is:
 > 
 > match a with
 >   | None -> chunk1
 >   | Some x -> chunk2 x
 > 
 > What functions/macros from a standard ocaml includes set can I use?

None  is represented  by an  integer  (0) and  Some is  pointing to  a
block. You can test for the former case with the macro Is_long:

	if (Is_long(v)) {
	   ... None case ...
	} else {
	   ... Some case ...
	   ... you access to x here with Field(v, 0) ...
	}

-- 
Jean-Christophe

Re: [Caml-list] Ocaml <-> C

[Paul Argentoff]

Dear Jean-Christophe Filliatre,

Let JF = "Jean-Christophe Filliatre" in
  written_by JF => 

 JF> 	if (Is_long(v)) {
 JF> 	   ... None case ...
 JF> 	} else {
 JF> 	   ... Some case ...  ... you access to x here with Field(v, 0) ...
 JF> 	}

Thanks.

-- 
Yours truly, WBR, Paul Argentoff.
Jabber:	paul@jabber.rtelekom.ru
RIPE:	PA1291-RIPE