Re: subroutine stack and C machine model

On 2009-10-27, Ben Bacarisse <ben.usenet@xxxxxxxxx> wrote:
That is too narrow for my taste but I accept it is a distinction that
can be made. You stated elsewhere that constant expressions are a
syntactic construct, but the definition requires the Constraints
section so presumably you include in "syntax" the constraints whilst
excluding all other restrictions?

Not quite. Rather, I believe that, if you follow the syntax down far
enough, you can tell them apart, because constant values can be distinguished
from variables.

My preference is simply not to treat these categories as having hard
boundaries because the specification does not seem formal enough to
support such a rigid distinction.

Could be. In which case, the claim that you can tell whether or not something
could have side effects by looking at the syntax becomes essentially useless.

-s
--
Copyright 2009, all wrongs reversed. Peter Seebach / usenet-nospam@xxxxxxxxx
http://www.seebs.net/log/ <-- lawsuits, religion, and funny pictures
http://en.wikipedia.org/wiki/Fair_Game_(Scientology) <-- get educated!
.

Relevant Pages

  • 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 ... was your canonical non-syntactic distinction. ...
    (comp.lang.c)
  • 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 ... determined not to be constant from syntax alone. ...
    (comp.lang.c)
  • Re: subroutine stack and C machine model
    ... Syntax is not the same as semantics! ... which could be type specifiers, "Constraints" says that there must be at ... how constant expressions are syntactic. ...
    (comp.lang.c)
  • 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: 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)