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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.albasani.net!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada platforms and pricing, was: Re: a new language,
 designed for safety !
Date: Thu, 19 Jun 2014 15:59:38 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lnvivr$n8v$1@loke.gir.dk>
References: <1402308235.2520.153.camel@pascal.home.net>
 <85ioo9yukk.fsf@stephe-leake.org> <ln6tlg$1vc$1@dont-email.me>
 <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com>
 <ln6uv9$bk8$1@dont-email.me>
 <b22db9fb-a73d-438a-8cfd-f0bb1db70eed@googlegroups.com>
 <MPElv.491358$1w1.428312@fx03.iad>
 <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com>
 <ln7ngt$c8a$1@dont-email.me>
 <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org>
 <lnn5ko$ner$1@loke.gir.dk> <lnn8ff$k42$1@dont-email.me>
 <857442918424729589.090275laguest-archeia.com@nntp.aioe.org>
 <slrnlq2eom.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <lnrpsq$8ao$1@dont-email.me>
 <slrnlq3jd8.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <erb49jp6qy6n$.5cesca6do7x3$.dlg@40tude.net>
 <slrnlq54jv.i0l.lithiumcat@nat.rebma.instinctive.eu>
 <9j4b774g2gbz$.a22j8j4ai1l1$.dlg@40tude.net>
 <tYmdnRDwdcBVTz_ORVn_vwA@giganews.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1403211579 23839 69.95.181.76 (19 Jun 2014 20:59:39 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 19 Jun 2014 20:59:39 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-Original-Bytes: 3032
Xref: number.nntp.dca.giganews.com comp.lang.ada:187075
Date: 2014-06-19T15:59:38-05:00
List-Id: <comp.lang.ada>

"Peter Chapin" <PChapin@vtc.vsc.edu> wrote in message 
news:tYmdnRDwdcBVTz_ORVn_vwA@giganews.com...
...
> My understand is that parsing Ada requires name resolution to resolve
> syntactic ambiguities.

Definitely not. Janus/Ada uses a table-driver parser that has absolutely no 
semantic information. There has to be a bit of care in tokenizing (for the 
infamous T'('A') example) but parsing is completely normal.

> This means symbol table management and dealing
> with Ada's visibility rules has to be done while parsing is taking place.

Certainly not. Janus/Ada is in fact structured into separate programs for 
parsing and semantic analysis (that's how we managed to get a compiler to 
fit on 56K Z80 machines back in the day -- the parse table took up much of 
the 56K, so there was no way to have a symbol table at the same time). We 
have a couple of "helps" in the parser for the later passes; the main one is 
numbering blocks and exception handlers, along with some capturing of labels 
[as their visibility occurs before their declaration], but otherwise it is 
free of context.

                                       Randy.