Path: csiph.com!x330-a1.tempe.blueboxinc.net!feeder1.hal-mli.net!nx02.iad01.newshosting.com!newshosting.com!novia!news-out.readnews.com!news-xxxfer.readnews.com!news.misty.com!news.iecc.com!nerds-end From: Chris F Clark Newsgroups: comp.compilers Subject: Maintaining scope while parsing C with a Yacc grammar Date: Sun, 12 Jun 2011 20:43:13 -0400 Organization: The World Public Access UNIX, Brookline, MA Lines: 26 Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <11-06-019@comp.compilers> References: <11-04-036@comp.compilers> <11-04-038@comp.compilers> <11-05-003@comp.compilers> <11-05-007@comp.compilers> NNTP-Posting-Host: news.iecc.com X-Trace: gal.iecc.com 1307943454 90210 64.57.183.58 (13 Jun 2011 05:37:34 GMT) X-Complaints-To: abuse@iecc.com NNTP-Posting-Date: Mon, 13 Jun 2011 05:37:34 +0000 (UTC) Keywords: C, parse, types Posted-Date: 13 Jun 2011 01:37:33 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: x330-a1.tempe.blueboxinc.net comp.compilers:145 I'm sorry I missed this discussion. I did see the comments by Ira Baxter and Paul Mann though and found them very informative. The one thing that it prompted me to add is that there results are not contradictory. Paul Mann's grammar additions allow one to describe scoping as a S-attributed grammar problem--that's the class of calculations one can perform in one pass as one parses with an LR grammar. This matches the fact that many languages such as C & Pascal are defined to allow their declarations to be processed in one pass with define before use rules. The system Ira Baxter described was a general attribute solving system. Thus, it includes Paul's model, but being more general requires more work to do so. The general system does allow parsing languages like PL/I where the declaration can appear after some (or all) of the uses. Hope this helps, -Chris ****************************************************************************** Chris Clark email: christopher.f.clark@compiler-resources.com Compiler Resources, Inc. Web Site: http://world.std.com/~compres 23 Bailey Rd voice: (508) 435-5016 Berlin, MA 01503 USA twitter: @intel_chris