From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 870757ED26 for ; Wed, 30 May 2012 15:37:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8EAKQhxk9iiyzBZWdsb2JhbABEgkWxag0JCwgVJ4IOCQEBBAFAAQEBATUBAQMLCwMBQlcGAYgOAQMGBaVUhC4BBQGFCAJIBYlPAQaQR4hDhD2IIoVILYx3 X-IronPort-AV: E=Sophos;i="4.75,685,1330902000"; d="scan'208,217";a="145913498" Received: from nm29-vm1.access.bullet.mail.sp2.yahoo.com ([98.139.44.193]) by mail4-smtp-sop.national.inria.fr with SMTP; 30 May 2012 15:37:04 +0200 Received: from [98.139.44.102] by nm29.access.bullet.mail.sp2.yahoo.com with NNFMP; 30 May 2012 13:37:03 -0000 Received: from [98.139.44.93] by tm7.access.bullet.mail.sp2.yahoo.com with NNFMP; 30 May 2012 13:37:03 -0000 Received: from [127.0.0.1] by omp1030.access.mail.sp2.yahoo.com with NNFMP; 30 May 2012 13:37:03 -0000 X-Yahoo-Newman-Property: ymail-5 X-Yahoo-Newman-Id: 153362.52723.bm@omp1030.access.mail.sp2.yahoo.com Received: (qmail 10715 invoked by uid 60001); 30 May 2012 13:37:02 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=att.net; s=s1024; t=1338385022; bh=u93wmD/pZwA5yqRXh5M2cuDB253fAIeLrgMe9sXMBbw=; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=V+KbK53aPqyLiTLYMTVodma8KHPeFiK4+1aEkK+Cwh0coFnoT9hYo4Z/oIh/sYNR9bD/D5liMCn/hm/WMnPDEAp7ED7+ykrd3AubWUa7AsQYapJuoLZEgJdVHrKnHrETT6qxKx1OCxjyu3g7vsVFFzi0wMqaqxqAtvIfz3J5iiY= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=att.net; h=X-YMail-OSG:Received:X-Mailer:References:Message-ID:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type; b=FH4FdVHp8TWHxd+lGiy0L9H3o1wrOsAyIHxONnvy077KWo2WL9tSrQvLxNnE09rUq7c8mOLF0mOzyz8/6SHkVGWZEJ3zcsEVNGjDjrU0ViejHQfn7zRv5j625cQpCu0q+t9T3vlLu2EVj5LJXlpa6Tfkhnk+KpVEvUIBvsDDTWA=; X-YMail-OSG: cV9VACkVM1kfNgtbNPfvsdyOPdyH1gpzM0PBtgC.hduDFR9 k9KgKzc7NT.ywWyYcJMJlBU2AuGgyHc3XO.wf5tutU1qyRebjoQO3x7rpeD1 zzHim.MZ3_zFEXTZSj4Ye8lfcqmInodMcyFzxHoiVb3jREkDILkUSSwvRiDy Di7LQEYcBsS_GFb_OE5sRgzaaizLu_b5xZ3xKirM0LmHf3rJw9mBCzHh1CD. GTuuSI5dX.4KRXokhKohbwrW8d_GIkaukDvWstyLPyT3vEUC.Cwyh2w3J8t. oVgmdFgBJkwxT9kwGYNoZd.iNepaIexor4974FaiSYqZpjrbvka0neu7vxsi nhY763mfB66K3ZTLta3hsBVgAzGuZHg7GMNbpea0U4vAQAmpdZWyAC.TehAT j5buTwFBUCKMZKBPYpRI73Ksw51W2gld1NTvuX88Qe5MRHQ-- Received: from [70.225.167.134] by web180009.mail.gq1.yahoo.com via HTTP; Wed, 30 May 2012 06:37:02 PDT X-Mailer: YahooMailRC/708 YahooMailWebService/0.8.118.349524 References: <4FC61595.6070009@frisch.fr> Message-ID: <1338385022.96299.YahooMailRC@web180009.mail.gq1.yahoo.com> Date: Wed, 30 May 2012 06:37:02 -0700 (PDT) From: Dan Bensen To: Alain Frisch , Hongbo Zhang Cc: caml-list@inria.fr In-Reply-To: <4FC61595.6070009@frisch.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="457990859-326542636-1338385022=:96299" Subject: Re: [Caml-list] Re: Syntax extensions without Camlp4 --457990859-326542636-1338385022=:96299 Content-Type: text/plain; charset=us-ascii > > I don't think it's good to downplay camlp4. > > we need more documentation and more tests. > (The new) Camlp4 has been here for several years. > Documentation and tests are still lagging behind. Is it possible for Inria or someone else to provide funding for that? I would like to help out starting sometime in the summer. > the most common uses of camlp4 might be based on a much > simpler approach ... Coq is one of the few examples of > a big project that relies on other aspects of camlp4 Why not focus on optimizing new lightweight tools for small problems and keep camlp4 for big ones? It wouldn't be so bad if it were documented better. --457990859-326542636-1338385022=:96299 Content-Type: text/html; charset=us-ascii

> > I don't think it's good to downplay camlp4.
> > we need more documentation and more tests.

> (The new) Camlp4 has been here for several years.
> Documentation and tests are still lagging behind.

Is it possible for Inria or someone else to provide
funding for that?  I would like to help out starting
sometime in the summer.

> the most common uses of camlp4 might be based on a much
> simpler approach ... Coq is one of the few examples of
> a big project that relies on other aspects of camlp4

Why not focus on optimizing new lightweight tools for
small problems and keep camlp4 for big ones?  It wouldn't
be so bad if it were documented better.

--457990859-326542636-1338385022=:96299--