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=0.0 required=5.0 tests=none 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 3F97EBBC1 for ; Fri, 25 Apr 2008 18:12:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUDAK+fEUhA6bL4c2dsb2JhbACRWAEMAwQECQ8FlR+FFA X-IronPort-AV: E=Sophos;i="4.25,708,1199660400"; d="scan'208";a="25498507" Received: from hs-out-0708.google.com ([64.233.178.248]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Apr 2008 18:12:29 +0200 Received: by hs-out-0708.google.com with SMTP id m63so2984795hsc.11 for ; Fri, 25 Apr 2008 09:12:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to:content-type:content-transfer-encoding:content-disposition:message-id; bh=FeCcuBv/aod8GOCKDL702sglWAMNJ4JmZI7D/nx2De0=; b=RSdkANj1NIHNVZSXnXUOckeoXYOI2fttdJv1nbirz9+BSl+xA37QTHKrxImTDQeF7diqxa1r50Xq87gYNcmRzdDNA/CLrIiK47LrnQAYZpsGj8IiOkeXb4C/qLFGRkZIDv7WHz1Q5/JwrpC8K5qFrq904Ik0t03WqqZ7iQkzDlE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to:content-type:content-transfer-encoding:content-disposition:message-id; b=GhHkphGeVlezMZIbCF6qsk1Qimdtv4HgMdEKnFL30GC5DyMr1/7lve45bswiN8QH6znDycn3UFmp/qQnpv88gFvcV8WT+wP1nf98FyxZpoXrti8njjyWCkchRUal9BJ8mLmYsJm1y2Oc9zYVqxhOtkKgzkljrzixemTmi6aYo5A= Received: by 10.90.88.17 with SMTP id l17mr5901022agb.8.1209139948692; Fri, 25 Apr 2008 09:12:28 -0700 (PDT) Received: from lawn-143-215-204-204.lawn.gatech.edu ( [143.215.204.204]) by mx.google.com with ESMTPS id q26sm3222472ele.0.2008.04.25.09.12.07 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 25 Apr 2008 09:12:19 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: David Teller Subject: Re: [Caml-list] [OSR] Standard syntax extensions ? Date: Fri, 25 Apr 2008 12:11:50 -0400 User-Agent: KMail/1.9.7 Cc: caml-list@yquem.inria.fr References: <713538.14736.qm@web54607.mail.re2.yahoo.com> <200804250958.01989.peng.zang@gmail.com> <1209135875.6192.11.camel@Blefuscu> In-Reply-To: <1209135875.6192.11.camel@Blefuscu> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200804251211.53225.peng.zang@gmail.com> X-Spam: no; 0.00; syntax:01 hash:01 plug-ins:01 cheers:01 hash:01 findlib:01 camlp:01 syntax:01 peng:98 peng:98 customized:98 wrote:01 wrote:01 naming:01 caml-list:01 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Ahh, sounds good. Thanks, Peng On Friday 25 April 2008 11:04:35 am David Teller wrote: > The current plans are to have two sets of extensions inside Batteries > Included: > * a few will be opened by default > * some others will just be part of the distribution, with instructions > in a common format, regarding how to activate & use them > > In either case, we will probably have a slightly customized ocamlbuild > which doesn't need special plug-ins for these extensions (that's part of > Edgar's side of the work). > > Cheers, > David > > On Fri, 2008-04-25 at 09:57 -0400, Peng Zang wrote: > > -----BEGIN PGP SIGNED MESSAGE----- > > Hash: SHA1 > > > > On Thursday 24 April 2008 01:05:44 pm Dario Teixeira wrote: > > > Remember the recent thread about ocamlbuild+findlib+camlp4 and the OSR > > > about standardising naming conventions for syntax extensions [1]. > > > Using a special ocamlbuild plugin [2], the barrier to using syntax > > > extensions is so low that you can almost consider them as standard > > > language features. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFIEgLJfIRcEFL/JewRAjfWAKDQ9n50OG86N0qtebNzkpDeGWxBwgCePXKs Q6pxZYriFE2xlATVe1FTShw= =bufD -----END PGP SIGNATURE-----