From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Newsgroups: gmane.lisp.guile.devel Subject: Re: GSOC PEG project Date: Tue, 06 Jul 2010 23:37:03 +0200 Message-ID: <874ogcjnr4.fsf@gnu.org> References: <874ogdmu2m.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: dough.gmane.org 1278452418 30150 80.91.229.12 (6 Jul 2010 21:40:18 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 6 Jul 2010 21:40:18 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Jul 06 23:40:17 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OWFsH-0002H0-5F for guile-devel@m.gmane.org; Tue, 06 Jul 2010 23:40:17 +0200 Original-Received: from localhost ([127.0.0.1]:59684 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1OWFsG-0006ES-Ln for guile-devel@m.gmane.org; Tue, 06 Jul 2010 17:40:16 -0400 Original-Received: from [140.186.70.92] (port=47303 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1OWFs8-0006Dx-85 for guile-devel@gnu.org; Tue, 06 Jul 2010 17:40:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1OWFs6-0000kh-Uo for guile-devel@gnu.org; Tue, 06 Jul 2010 17:40:08 -0400 Original-Received: from lo.gmane.org ([80.91.229.12]:36832) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1OWFs6-0000kW-Kk for guile-devel@gnu.org; Tue, 06 Jul 2010 17:40:06 -0400 Original-Received: from list by lo.gmane.org with local (Exim 4.69) (envelope-from ) id 1OWFs4-00028k-4r for guile-devel@gnu.org; Tue, 06 Jul 2010 23:40:04 +0200 Original-Received: from acces.bordeaux.inria.fr ([193.50.110.5]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 06 Jul 2010 23:40:04 +0200 Original-Received: from ludo by acces.bordeaux.inria.fr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Tue, 06 Jul 2010 23:40:04 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 40 Original-X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: acces.bordeaux.inria.fr X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 18 Messidor an 218 de la =?iso-8859-1?Q?R=E9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) Cancel-Lock: sha1:n4pM5e+ct+2FFT9wLFK2e+82frU= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:10622 Archived-At: Hello, No Itisnt writes: > On Mon, Jul 5, 2010 at 6:59 PM, Michael Lucy wrote: >> On Mon, Jul 5, 2010 at 5:40 PM, Ludovic Courtès wrote: >>> Michael Lucy writes: >>> >>>> Files I've added so far: >>>> guile/modules/ice-9/peg.scm (I assume this is the right place to put this?) >>> >>> No, it should rather go under ‘module/language/peg.scm’, for the sake of >>> consistency with other compiler front-ends.  But see below. >> >> I'm not quite sure how this qualifies as a compiler front-end.  The >> functionality is mostly done (if unoptimized), so it shouldn't be too >> hard to turn it into one if that's what you want, but the original >> thought was just to build a compiling parser.  E.g.: >> >> (use-modules (ice-9 peg)) >> (peg-find "'b'+" "aabbcc") >> --> (2 4 "bb") [...] >>>> PEG compiler: Works for all the grammars I've tested, no known bugs. >>>> Currently compiles to Scheme code rather than Tree-IL for debugging. >>> >>> It should rather compiler to tree-IL, like other front-ends, which is >>> very close to Scheme anyway. > > I think you are both misunderstanding eachother: > > - The PEG functions, useful in their own right, would be exposed as (ice-9 peg). > - There is an additional syntax for expressing grammars, so it can be > better used as a parser generator. That would go in as (language peg). OK, I understand now. Sorry for the confusion! Ludo’.