Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!bu-cs!buengc!bph
From: bph@buengc.BU.EDU (Blair P. Houghton)
Newsgroups: comp.lang.c
Subject: Re: Max line length (was Re: programming challenge ...)
Message-ID: <2314@buengc.BU.EDU>
Date: 16 Mar 89 21:47:24 GMT
References: <2102@jasper.UUCP> <207600017@s.cs.uiuc.edu> <9777@bloom-beacon.MIT.EDU> <1166@auspex.UUCP> <3072@nunki.usc.edu>
Reply-To: bph@buengc.bu.edu (Blair P. Houghton)
Followup-To: comp.lang.c
Organization: Boston Univ. Col. of Eng.
Lines: 44

In article <3072@nunki.usc.edu> jeenglis@nunki.usc.edu (Joe English) writes:
>guy@auspex.UUCP (Guy Harris) writes:
>>
>>December 7, 1988 draft, says:
>>	2.2.4.1 Translation limits
>>
>>	   The implementation shall be able to translate and execute
>>	at least one program that contains at least one instance of
>       ^^ ^^^^^ ^^^ ^^^^^^^
>>	every one of the following limits:
>
>Shouldn't it say instead:
>
>  If (for all programs P such that 
>            (there exists an L in {following limits} such that P contains L)
>      the implementation can handle P
>     )
>  then the implementation is in compliance with section 2.2.4.1?
>
>(Obviously the answer is "no," and I've misinterpreted the
>excerpt.  Can someone explain the language here?)

I did the same double-take at that semantic curveball, but then I looked
askance and it seemed to be sensible.

For instance, your version says that the compiler should compile EVERY
program that contains those limits, but, your program may be broken in
many other ways, and your version of this rule would STILL require the
compiler to compile it, which is patently impossible.

The rule as it is written allows for the rejection of a program if it
breaks other rules, but if it does not, then that program has got to be
compiled, provided it is within these limits, even if the program
stretches to use all of these limits.

The program implied by "at least one program" would therefore be the
program with all of its syntax perfectly C, and using _all_ of the
limits given.

Does anyone have any intention of writing such a program?  Is anyone going
to write the ANSI-C "exerciser" program?  Sounds like fun.

				--Blair
				  "510 or fight!"