From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id A82A9BC48 for ; Mon, 18 Apr 2005 13:14:06 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3IBE6dO014259 for ; Mon, 18 Apr 2005 13:14:06 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA08208 for ; Mon, 18 Apr 2005 13:14:05 +0200 (MET DST) Received: from paul.rtelekom.ru (paul.rtelekom.ru [217.146.42.160]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3IBE3vx012457 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 18 Apr 2005 13:14:05 +0200 Received: from paul.rtelekom.ru (paul@localhost [127.0.0.1]) by paul.rtelekom.ru (8.13.1/8.13.1) with ESMTP id j3IBE30d021363 for ; Mon, 18 Apr 2005 15:14:03 +0400 (MSD) (envelope-from argentoff@rtelekom.ru) Received: (from paul@localhost) by paul.rtelekom.ru (8.13.1/8.13.1/Submit) id j3IBE2Tw021362; Mon, 18 Apr 2005 15:14:02 +0400 (MSD) (envelope-from argentoff@rtelekom.ru) X-Authentication-Warning: paul.rtelekom.ru: paul set sender to argentoff@rtelekom.ru using -f To: caml-list@inria.fr Subject: Ocaml <-> C From: Paul Argentoff Date: Mon, 18 Apr 2005 15:14:02 +0400 Message-ID: <86pswscp6t.fsf@paul.rtelekom.ru> User-Agent: Gnus/5.1006 (Gnus v5.10.6) XEmacs/21.4 (Jumbo Shrimp) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce with ID 4263967E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4263967B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 functions:01 macros:01 match:02 parameter:02 chunk:02 chunk:02 external:02 unit:02 standard:07 paul:08 paul:08 function:08 analysis:08 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: 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