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 18BB0BC84 for ; Mon, 18 Apr 2005 00:27:43 +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 j3HMRgBi001627 for ; Mon, 18 Apr 2005 00:27:42 +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 AAA26010 for ; Mon, 18 Apr 2005 00:27:42 +0200 (MET DST) Received: from caine.easynet.fr (smarthost161.mail.easynet.fr [212.180.1.161]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3HMRfKm010599 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NO) for ; Mon, 18 Apr 2005 00:27:42 +0200 Received: from asi-62.asi256ip.easynet.fr ([212.180.39.62] helo=micro) by caine.easynet.fr with esmtp (TLS-1.0:RSA_AES_128_CBC_SHA:16) (Exim 4.34) id 1DNIEr-00042A-F9; Mon, 18 Apr 2005 00:27:37 +0200 Received: from grand.gallu.homelinux.org ([192.168.0.14]) by micro with smtp (Exim 4.44) id 1DNIEo-0000dt-S1; Mon, 18 Apr 2005 00:27:34 +0200 Received: by grand.gallu.homelinux.org (sSMTP sendmail emulation); Mon, 18 Apr 2005 00:27:35 +0200 From: "Sylvain LE GALL" Date: Mon, 18 Apr 2005 00:27:35 +0200 To: caml-list@inria.fr Subject: [ANN] ocaml-ast-analyze v 0.1.1 Message-ID: <20050417222735.GA18015@grand> Mail-Followup-To: caml-list@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.9i X-Miltered: at concorde with ID 4262E2DE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4262E2DD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; le-gall:01 cmo:01 branching:01 ocaml:01 cmo:01 ocaml:01 le-gall:01 ...:98 extractor:98 abstract:01 dependency:01 functions:01 match:02 match:02 ast:02 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, General: Ocaml-ast-analyze is a library that provides all the functions required to build a camlp4 pr_*.cmo module ( ie a printer module ). Creating by hand such a module, require to match a lot of unuseful case, and always do the same branching... This module abstract all the matches and enables only to match what interest you in the AST of an Ocaml source file. It comes also with pr_ast_dump.cmo which is a real pr_*.cmo module. This module dumps the AST of an Ocaml source file. It allows the programmer to understand what should be match in the AST. Changes: v0.1.1 is released because of the dependency holds by ocaml-gettext ( the string extractor of ocaml-gettext is based on this module ). But the library should be useful, even with not a lot of documentation ( should come in the next version ). Link: http://www.carva.org/sylvain.le-gall/ocaml-ast-analyze.html Regard Sylvain Le Gall