Re: Implicit Declaration

Eric Sosman wrote:
James Kuyper wrote:
....
Any section titled "Constraints" clearly conveys constraints; I don't
think the definition provided in 3.8p1 is sufficiently clear to allow
unambiguous application of that term to any rule specified outside of a
"Constraints" section.

Tempests in teapots anyhow, I think. As far as I can see, either a
constraint violation or a syntax violation (if the two are different)
elicits exactly the same response, to wit, "at least one diagnostic
message." If there's any place in the Standard where CV and SV are
given different treatment, I'm unaware of it (but would appreciate
someone pointing it out to me if it's there).

The standard certainly treats them differently, putting syntax rules
in sections named "Syntax", and summarizing them in Annex A, while it
places constraints in sections named "Constraints". Again, that would
appear to be redundant if all syntax rules also constitute
constraints.

Section 4.2 says 'If a ‘‘shall’’ or ‘‘shall not’’ requirement that
appears outside of a constraint is violated, the
behavior is undefined.'. However, that doesn't help much with making
this distinction, since the word "shall" never occurs in the Syntax
sections.
.

Relevant Pages

  • Pythonification of the asterisk-based collection packing/unpacking syntax
    ... packing and unpacking syntax. ... In case the asterisk is not used to signal unpacking, ... type constraints throughout python as a whole; ...
    (comp.lang.python)
  • Re: Converting fixed-to-free format
    ... The standard seldom prohibits. ... and report violations of numbered constraints. ... per program unit that says how many lines were in violation ... no deficiencies and the other way is to make it so complicated ...
    (comp.lang.fortran)
  • Re: Converting fixed-to-free format
    ... The standard seldom prohibits. ... I think they ARE compliant as long as the content between columns 1 and 72 are compliant. ... and report violations of numbered constraints. ... per program unit that says how many lines were in violation ...
    (comp.lang.fortran)
  • Re: macro preprocessor semantics and the ANSI standard
    ... 'constraints' are not part of the syntax, but part of the semantics ... They are part of the syntax, but it's easier to impose them as ... Unsolicited bulk E-mail subject to legal action. ...
    (comp.lang.pl1)
  • Re: subroutine stack and C machine model
    ... You stated elsewhere that constant expressions are a ... section so presumably you include in "syntax" the constraints whilst ... Rather, I believe that, if you follow the syntax down far ... support such a rigid distinction. ...
    (comp.lang.c)