From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 16BC0BC48 for ; Mon, 18 Apr 2005 14:27:52 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3ICRppU021836 for ; Mon, 18 Apr 2005 14:27:51 +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 OAA10381 for ; Mon, 18 Apr 2005 14:27:51 +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 j3ICRms8021830 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 18 Apr 2005 14:27:50 +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 j3ICRli7025558; Mon, 18 Apr 2005 16:27:47 +0400 (MSD) (envelope-from argentoff@rtelekom.ru) Received: (from paul@localhost) by paul.rtelekom.ru (8.13.1/8.13.1/Submit) id j3ICRlU4025557; Mon, 18 Apr 2005 16:27:47 +0400 (MSD) (envelope-from argentoff@rtelekom.ru) X-Authentication-Warning: paul.rtelekom.ru: paul set sender to argentoff@rtelekom.ru using -f X-Comment-To: Jean-Christophe Filliatre To: Jean-Christophe Filliatre Cc: caml-list@inria.fr Subject: Re: [Caml-list] Ocaml <-> C References: <86pswscp6t.fsf@paul.rtelekom.ru> <16995.40638.509323.719418@gargle.gargle.HOWL> From: Paul Argentoff Date: Mon, 18 Apr 2005 16:27:47 +0400 In-Reply-To: <16995.40638.509323.719418@gargle.gargle.HOWL> (Jean-Christophe Filliatre's message of "Mon, 18 Apr 2005 13:49:18 +0200") Message-ID: <86hdi4p8vw.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 concorde with ID 4263A7C7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4263A7C4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 filliatre:01 filliatre:01 ...:98 ...:98 let:03 long:04 written:06 paul:08 paul:08 some:12 case:13 case:13 U4:83 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: 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