From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.148.8 with SMTP id to8mr4883355pab.0.1382767056218;
 Fri, 25 Oct 2013 22:57:36 -0700 (PDT)
X-Received: by 10.49.48.38 with SMTP id i6mr292699qen.4.1382767056007; Fri, 25
 Oct 2013 22:57:36 -0700 (PDT)
Path: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.glorb.com!y3no81408745pbx.0!news-out.google.com!z6ni93409pbu.0!nntp.google.com!i2no747227qav.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 25 Oct 2013 22:57:35 -0700 (PDT)
In-Reply-To: <85r4b8lr93.fsf@stephe-leake.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=97.123.228.141;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 97.123.228.141
References: <ffe8ecd4-065d-4c4c-b211-f9dad0f1959f@googlegroups.com>
 <52694f8d$0$6630$9b4e6d93@newsspool2.arcor-online.net>
 <c76beb57-d614-4e04-b7b9-326685630747@googlegroups.com>
 <85r4b8lr93.fsf@stephe-leake.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6494c588-34bd-4f20-b99a-5d4f4ff22d89@googlegroups.com>
Subject: Re: Ada 2012 grammar
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Sat, 26 Oct 2013 05:57:36 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Original-Bytes: 3258
Xref: number.nntp.dca.giganews.com comp.lang.ada:183742
Date: 2013-10-25T22:57:35-07:00
List-Id: <comp.lang.ada>

On Friday, October 25, 2013 8:07:04 PM UTC-6, Stephen Leake wrote:
>=20
> It is very new.
> Website: http://stephe-leake.org/emacs/ada-mode/emacs-ada-mode.html

Nice; I'll have to check it out.

> The grammar there has conflicts, so it relies on a generalized LALR
> parser (http://en.wikipedia.org/wiki/Generalized_LR_parser), which I
> implemented in Emacs lisp.
>=20
> The grammar file can be parsed by a new OpenToken feature, and it will
> generate either Ada OpenToken source code, or Emacs lisp for a parser
> table; that version of OpenToken is available on the Ada mode website

Nice to see that OpenToken is getting updated.
I've been kicking around the idea of writing an Ada compiler in Delphi* (it=
's "in a box sitting in the corner gathering dust" metaphorically speaking)=
, which might be nice to bootstrap a self-hosted compiler. (Plus I'd like t=
o see if the [InterBase] DB would be suitable for implementing source-/libr=
ary-control.)

* I've got 2007 (the last one to have Delphi for Dotnet), the new version c=
an apparently natively target Macs though.

> (not the OpenToken website http://stephe-leake.org/ada/opentoken.html).
>=20
> However, OpenToken only has a (non-generalized) LALR parser. It would be
> interesting to implement a generalized parser for Opentoken; let me know
> if you'd like to use that and/or help implement it.

That sounds pretty cool to me.

> It might not be too hard to eliminate the conflicts so you can use the
> OpenToken parser (or some other parser); I did not do that because it
> seemed easier (not to say way more fun) to implement the parser :).


> In addition, the grammar source is closer to the Ada LRM Annex P this way=
.

Nice.

> Also note that I fixed several bugs in OpenToken, so if it was not
> working for you before, you should try it again.

Version 4.0b 29 Jun 2010?