Re: Ada 2012 grammar

[Shark8 <onewingedshark@gmail.com>]

On Friday, October 25, 2013 8:07:04 PM UTC-6, Stephen Leake wrote:
> 
> 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.
> 
> 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 to see if the [InterBase] DB would be suitable for implementing source-/library-control.)

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

> (not the OpenToken website http://stephe-leake.org/ada/opentoken.html).
> 
> 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?