From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 19E9BBC69 for ; Wed, 28 Mar 2007 16:47:12 +0200 (CEST) Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.235]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2SElAB6015498 for ; Wed, 28 Mar 2007 16:47:11 +0200 Received: by wr-out-0506.google.com with SMTP id 69so2256604wra for ; Wed, 28 Mar 2007 07:47:10 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=KH+nUBwboFiZuEsgu4NRuaZBA7XK1DpmLAH50X7pdfuA6dpNNc1eZlhJRFIY2CyTlRbY1UuRKltP7hcByRDRyA78bnxzHAxwc8fyAdjank2jDm4C9nhm3N7OuFaPVvYw2bIWpzkW9ocPCqY4ZLypkOaJfZWUE2amUftxPw1JjE0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=nMAqgacREwkNs1PUhQFD4kgVD4gQtxPJi6Jway8McySrcyPjVE0orldw8MFW0whj+gOXUAwVh+6mKpr1kjTlJimhNOIHN6aUGdyMyNRLBlyEG+CpKRvKukgjLFo3ObXYu4HNO3sjVBz8DEq4jGt1g4lpsUOtG2v4a8LZfkC/vkM= Received: by 10.100.195.10 with SMTP id s10mr265368anf.1175093230194; Wed, 28 Mar 2007 07:47:10 -0700 (PDT) Received: from ?192.168.1.34? ( [88.8.239.112]) by mx.google.com with ESMTP id e33sm1055254ugd.2007.03.28.07.47.08; Wed, 28 Mar 2007 07:47:09 -0700 (PDT) In-Reply-To: <20070328163420.241a2cfe@hmmm.de> References: <20070328142550.72f2f3a6@hmmm.de> <20070328163420.241a2cfe@hmmm.de> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] Wrapping OCaml function returning a variant Date: Wed, 28 Mar 2007 15:46:54 +0100 To: micha X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 460A7FEE.003 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 460A7FEE.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 val:01 val:01 camlprim:01 camlparam:01 camlreturn:01 28,:98 2007,:98 char:01 char:01 wrote:01 caml-list:01 int:01 int:01 closure:01 I came up with this. Is it sound? char *morph(char *code, char** error, int *line, int *start, int *end) { static value *closure = NULL; value v; char *res; if (closure == NULL) closure = caml_named_value("morph"); v = callback(*closure, caml_copy_string(code)); switch (Long_val(v)) { case 0: /* success */ res = String_val(Field(v, 0)); *error = NULL; case 1: /* error */ res = NULL; *error = String_val(Field(v, 0)); *line = Int_val(Field(v, 1)); *start = Int_val(Field(v, 2)); *end = Int_val(Field(v, 3)); } return res; } Thanks, Joel On Mar 28, 2007, at 3:34 PM, micha wrote: > that may look like: > > CAMLprim value cfunc(value x) > { > CAMLparam1(x); > switch (Tag_val(x)) { > case 0: do something with first variant; > case 1: do something with second variant > default: argh; > } > CAMLreturn(Val_unit); > } -- http://wagerlabs.com/