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_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 84375BC6C for ; Tue, 5 Feb 2008 15:50:12 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAO4FqEfVpUAUk2dsb2JhbACQLAEBAQEHBAQLCBaccg X-IronPort-AV: E=Sophos;i="4.25,308,1199660400"; d="scan'208";a="22224619" Received: from mail.gmx.net ([213.165.64.20]) by mail4-smtp-sop.national.inria.fr with SMTP; 05 Feb 2008 15:50:11 +0100 Received: (qmail invoked by alias); 05 Feb 2008 14:50:10 -0000 Received: from Zcf02.z.pppool.de (EHLO localhost) [89.61.207.2] by mail.gmx.net (mp007) with SMTP; 05 Feb 2008 15:50:10 +0100 X-Authenticated: #20477425 X-Provags-ID: V01U2FsdGVkX18Vw6EHabUVc/DwfgbunzgRMpRLJeVv0ZvQQOXaE0 wbluKXc9MARNfT From: micha To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] [OSR] Suggested topic - XML processing API Date: Tue, 5 Feb 2008 15:53:47 +0100 User-Agent: KMail/1.9.6 (enterprise 20070904.708012) References: <1202207990-sup-8670@port-ext6.ensta.fr> <200802051329.01907.jon@ffconsultancy.com> In-Reply-To: <200802051329.01907.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200802051553.48014.micha-1@fantasymail.de> X-Y-GMX-Trusted: 0 X-Spam: no; 0.00; lib:01 ocaml:01 lib:01 dienstag:98 sml:01 caml-list:01 int:01 modules:02 structures:02 api:02 module:03 float:03 suggested:07 michael:07 schrieb:08 Am Dienstag, 5. Februar 2008 14:29:01 schrieb Jon Harrop: > > ... and an "Option" module for the "option" type. And "Int" and "Float" > modules ... make a port of the sml basis lib structures an additional ocaml lib Michael