Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.python > #49149

Re: n00b question on spacing

From Robert Kern <robert.kern@gmail.com>
Subject Re: n00b question on spacing
Date 2013-06-25 12:59 +0100
References (2 earlier) <mailman.3701.1371923002.3114.python-list@python.org> <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>
Newsgroups comp.lang.python
Message-ID <mailman.3811.1372161579.3114.python-list@python.org> (permalink)

Show all headers | View raw


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.

-- 
Robert Kern

"I have come to believe that the whole world is an enigma, a harmless enigma
  that is made terrible by our own mad attempt to interpret it as though it had
  an underlying truth."
   -- Umberto Eco

Back to comp.lang.python | Previous | NextPrevious in thread | Next 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