comp.lang.ada
 help / color / mirror / Atom feed
* validation stringency
@ 1985-03-10  8:03 Richard Draves
  1985-03-12 18:01 ` Norman Diamond
  0 siblings, 1 reply; 2+ messages in thread
From: Richard Draves @ 1985-03-10  8:03 UTC (permalink / raw)


I recently came across a limitation on how complicated a type
declaration pcc will accept.  I don't remember any similar
nesting restrictions in the Ada standard.  Are Ada implementations
required to allow unlimited nesting?  Does the validation suite
make some sort of attempt to check this?

Rich
-- 

	"a picture in the head is a gory murder in an art gallery"

					-- Stephen Kosslyn

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: validation stringency
  1985-03-10  8:03 validation stringency Richard Draves
@ 1985-03-12 18:01 ` Norman Diamond
  0 siblings, 0 replies; 2+ messages in thread
From: Norman Diamond @ 1985-03-12 18:01 UTC (permalink / raw)


> I recently came across a limitation on how complicated a type
> declaration pcc will accept.

Yuk.  OK, I guess a portable C program can't nest type declarations more than
one level?

> I don't remember any similar
> nesting restrictions in the Ada standard.  Are Ada implementations
> required to allow unlimited nesting?  Does the validation suite
> make some sort of attempt to check this?
> -- Rich

I also believe that unlimited nesting ability is required.  But if the
compiler runs on a machine with a limited address space (either real or
virtual, it is limited), we can expect some limits.  If a limit is too
small, a reasonable validation suite would find out.  If a validation
suite tried a thorough test, we probably wouldn't live long enough to
see it hit a limit....
-- 

   Norman Diamond

UUCP:  {decvax|utzoo|ihnp4|allegra}!watmath!watdaisy!ndiamond
CSNET: ndiamond%watdaisy@waterloo.csnet
ARPA:  ndiamond%watdaisy%waterloo.csnet@csnet-relay.arpa

"Opinions are those of the keyboard, and do not reflect on me or higher-ups."

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1985-03-12 18:01 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1985-03-10  8:03 validation stringency Richard Draves
1985-03-12 18:01 ` Norman Diamond

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