From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 69399BC75 for ; Fri, 25 Feb 2005 15:03:16 +0100 (CET) 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 j1PE3Gp7028281 for ; Fri, 25 Feb 2005 15:03:16 +0100 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 PAA10397 for ; Fri, 25 Feb 2005 15:03:15 +0100 (MET) Received: from web50901.mail.yahoo.com (web50901.mail.yahoo.com [206.190.38.121]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j1PE3Ebb028276 for ; Fri, 25 Feb 2005 15:03:15 +0100 Received: (qmail 27276 invoked by uid 60001); 25 Feb 2005 14:03:14 -0000 Comment: DomainKeys? See http://antispam.yahoo.com/domainkeys DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; b=eEEQ6NzzXPm+GBlaH4GSnspqqUVmgRCamist6XlJpbaPGnsp6oeT0sW6ApL78RHFOhLqPgXzM9kH0ryQEzIWziGauLJ2ZnGIpxIuyFDresuTsJiuKouutztU9zMeBcDhSDZfyWkLsQ7g5lJLcqKMAPiQL09LXdzi2EE89AA7C28= ; Message-ID: <20050225140314.27274.qmail@web50901.mail.yahoo.com> Received: from [217.72.49.124] by web50901.mail.yahoo.com via HTTP; Fri, 25 Feb 2005 06:03:14 PST Date: Fri, 25 Feb 2005 06:03:14 -0800 (PST) From: Martin Sandin Subject: [ANN] Tywith - Generating functions from type definitions To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce with ID 421F3024.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 421F3022.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 parser:01 derives:01 'string:01 ocaml:01 def:01 'string:01 03.:98 syntactic:01 functions:01 functions:01 tuples:01 supported:01 defined:01 int:01 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: Tywith Module version 0.3 - initial release Tywith is an OCaml camlp4 parser extension which derives functions from type definitions. It's currently capable of generating 'string_of_', 'map_', and 'fold_' functions for alias and variant types containing tuples and other types with the appropriate functions defined. Tywith special-cases built-in types such as list, int, and string to provide or use the appropriate functions. This package extends OCaml with the following syntactic construction type with [,..]) The id's currently supported are 'string_of', 'map', and 'fold', which will result in the generation of the appropriate functions. The fold functions will typically depend on the presence of a map function for any type mentioned inside the definition which depend on a type parameter. Download Tywith from http://www.seedwiki.com/wiki/shifting_focus/tywith or directly from http://www.guldheden.com/~sandin/files/tywith03.zip Martin Sandin om_sandin@yahoo.com __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com