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 EF139BCAB for ; Mon, 16 May 2005 10:47:56 +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 j4G8luTx030054 for ; Mon, 16 May 2005 10:47:56 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA28960 for ; Mon, 16 May 2005 10:47:56 +0200 (MET DST) Received: from mx-a.polytechnique.fr (mx-a.polytechnique.fr [129.104.30.14]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4G8ltuI016700 for ; Mon, 16 May 2005 10:47:55 +0200 Received: from argos.lix.polytechnique.fr (argos.lix.polytechnique.fr [129.104.11.2]) by mx-a.polytechnique.fr (tbp 5.3.1/2.0.2) with ESMTP id j4G8lrpU021128; Mon, 16 May 2005 10:47:53 +0200 Received: from mailhost.lix.polytechnique.fr (surcouf.polytechnique.fr [129.104.11.9]) by argos.lix.polytechnique.fr (Postfix) with ESMTP id 0366A4B92D; Mon, 16 May 2005 10:47:53 +0200 (CEST) Received: (from sacerdot@localhost) by mailhost.lix.polytechnique.fr (8.12.11/8.12.8/Submit) id j4G8loNU008080; Mon, 16 May 2005 10:47:50 +0200 Date: Mon, 16 May 2005 10:47:50 +0200 From: Claudio Sacerdoti Coen To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] More on SOAP Message-ID: <20050516084749.GA8010@surcouf.polytechnique.fr> References: <20050513220936.GA7588@furbychan.cocan.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20050513220936.GA7588@furbychan.cocan.org> User-Agent: Mutt/1.4.1i X-Operating-System: Debian GNU/Linux X-Organization: Department of computer science, University of Bologna, European Union X-Miltered: at concorde with ID 42885E3C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42885E3B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; sacerdoti:01 coen:01 sacerdot:01 unibo:01 caml-list:01 parsing:01 mli:01 sacerdoti:01 coen:01 sacerdot:01 unibo:01 doctor:98 functions:01 define:01 interface:05 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 Richard, > Instead of parsing WSDL, what I'm doing is allowing you to define the > interface as a familiar .mli file, as in the example below: what do you do with higher order functions? Regards, C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: sacerdot@cs.unibo.it http://www.cs.unibo.it/~sacerdot ----------------------------------------------------------------