* 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