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.5 required=5.0 tests=SPF_SOFTFAIL 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 2BD22BBAF for ; Mon, 18 May 2009 11:36:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEABvJEErBvsFK/2dsb2JhbADPQoQBBQ X-IronPort-AV: E=Sophos;i="4.41,208,1241388000"; d="scan'208";a="40144144" Received: from dnsp.umh.ac.be (HELO hermes1.umh.ac.be) ([193.190.193.74]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 May 2009 11:36:57 +0200 Received: from poincare.swapping.umh.ac.be (poincare.swapping.umh.ac.be [10.102.100.89]) by hermes1.umh.ac.be (8.14.2/8.13.6) with ESMTP id n4I9ZInd676028; Mon, 18 May 2009 11:35:18 +0200 Received: from localhost ([127.0.0.1] ident=trch) by poincare.swapping.umh.ac.be with esmtp (Exim 4.69) (envelope-from ) id 1M5zHE-0002th-Qe; Mon, 18 May 2009 11:36:56 +0200 Date: Mon, 18 May 2009 11:28:24 +0200 (CEST) Message-Id: <20090518.112824.753013318564889480.Christophe.Troestler@umons.ac.be> To: OCaml Mailing List Subject: Are local macros needed? From: Christophe TROESTLER X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:}8v|j Organization: Universite de Mons (http://math.umh.ac.be/an/) X-Mailer: Mew version 6.2.51 on Emacs 22.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.64 on 193.190.193.76 X-Spam: no; 0.00; christophe:01 troestler:01 christophe:01 troestler:01 delimited:01 overloading:01 parametrized:01 macros:01 macros:01 define:02 macro:03 macro:03 i'd:06 chris:06 arguments:07 Hi, As many of you know, Delimited Overloading (pa_do) [1] has always been providing an enhanced macro system. The latest release additionally features macros parametrized by other macros (passed as arguments). These developments of the macro system made me wonder whether local macros (DEFINE ... in ...) are used/needed. I'd like to know what is your opinion about it (with compelling examples if possible). Thanks in advance for your input! Regards, ChriS [1] http://pa-do.forge.ocamlcore.org/ (godiva spec file provided)