comp.lang.ada
 help / color / mirror / Atom feed
From: Marc C <mc.provisional@gmail.com>
Subject: Re: Ada 2012 grammar
Date: Thu, 24 Oct 2013 10:05:49 -0700 (PDT)
Date: 2013-10-24T10:05:49-07:00	[thread overview]
Message-ID: <08c2fdf5-3486-4e3e-b6d2-47536926ca72@googlegroups.com> (raw)
In-Reply-To: <8ee20b08-3f10-42bd-8f5d-759bc4beea81@googlegroups.com>

On Thursday, October 24, 2013 11:55:00 AM UTC-5, Dan'l Miller wrote:

> Why not base your tool on ASIS?  What semantic or syntactic information/analysis does your tool need that the Ada2012 parsing in ASIS in GNAT is impractical for?

If I understand the original post, he's looking to extend the language with additional contract-oriented language constructs, not analyze programs.

  reply	other threads:[~2013-10-24 17:05 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-10-24 15:01 Ada 2012 grammar David Pereira
2013-10-24 16:49 ` G.B.
2013-10-24 21:11   ` David Pereira
2013-10-26  2:07     ` Stephen Leake
2013-10-26  5:57       ` Shark8
2013-11-11 14:55         ` Stephen Leake
2013-10-24 16:55 ` Dan'l Miller
2013-10-24 17:05   ` Marc C [this message]
2013-10-24 21:12   ` David Pereira
2013-10-24 20:19 ` Dmitry A. Kazakov
2013-10-24 22:29   ` David Pereira
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox