Re: n00b question on spacing

References	(3 earlier) <kqalj4$d58$1@dont-email.me> <CAMjeLr9MwFVtdDy6P3+GAksKXJ3pGSG7g-9f_4tRdAXrNpFHUg@mail.gmail.com> <kqbub9$n7n$1@ger.gmane.org> <CAPTjJmpB0eMO7oC8XQVXKYgn5_vK7D2d9dRX_z4hNUkOqPr4AA@mail.gmail.com> <kqc0mm$hrj$1@ger.gmane.org>
Date	2013-06-25 22:07 +1000
Subject	Re: n00b question on spacing
From	Chris Angelico <rosuav@gmail.com>
Newsgroups	comp.lang.python
Message-ID	<mailman.3812.1372162046.3114.python-list@python.org> (permalink)

Show all headers | View raw

On Tue, Jun 25, 2013 at 9:59 PM, Robert Kern <robert.kern@gmail.com> wrote:
> On 2013-06-25 12:48, Chris Angelico wrote:
>>
>> On Tue, Jun 25, 2013 at 9:19 PM, Robert Kern <robert.kern@gmail.com>
>> wrote:
>>>
>>> There is quite a bit of Python's lexical analysis that is specified in
>>> places other than the formal notation. That does not mean it is
>>> undefined.
>>> It is well defined in the lexer code and the documentation. You suggest
>>> that
>>> a "rule probably should be added to the lexer to make this explicit."
>>> That
>>> is not necessary. The rule is already there.
>>
>>
>> Be careful; Python is not an implementation-defined language. Python
>> has no "lexer code" - CPython does, and is probably what you're
>> thinking of.
>
>
> No, that's not what I am thinking of. I said that the rule is defined in
> both code and the documentation. Mark did suggest adding the rule to the
> lexer (for which he may have been thinking of just CPython, but you can take
> that up with him), but of course it is already there. I did not suggest that
> its presence in the lexer code (of any or all implementations) is
> sufficient, but the point is moot because it is already both explicitly
> implemented (several times) and clearly documented in the Python language
> reference.

Sure, fair enough. I've just been skimming this thread, lately, so
please don't take my post as implying that you're wrong-wrong-wrong...
it's just something that seemed to want clarifying :)

ChrisA

Back to comp.lang.python | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Re: n00b question on spacing Mark Janssen <dreamingforward@gmail.com> - 2013-06-22 10:43 -0700
  Re: n00b question on spacing alex23 <wuwei23@gmail.com> - 2013-06-25 09:48 +1000
    Re: n00b question on spacing Mark Janssen <dreamingforward@gmail.com> - 2013-06-24 17:22 -0700
    Re: n00b question on spacing Robert Kern <robert.kern@gmail.com> - 2013-06-25 12:19 +0100
    Re: n00b question on spacing Chris Angelico <rosuav@gmail.com> - 2013-06-25 21:48 +1000
    Re: n00b question on spacing Robert Kern <robert.kern@gmail.com> - 2013-06-25 12:59 +0100
    Re: n00b question on spacing Chris Angelico <rosuav@gmail.com> - 2013-06-25 22:07 +1000

csiph-web