From: Tom Lane <tgl@sss.pgh.pa.us>
To: Tim Landscheidt <tim@tim-landscheidt.de>
Cc: pgsql-sql@postgresql.org
Subject: Re: Token separation
Date: Sun, 15 Jan 2012 12:15:58 -0500
Message-ID: <17710.1326647758@sss.pgh.pa.us> (raw)
In-Reply-To: <m3ipkd1jho.fsf@passepartout.tim-landscheidt.de>
References: <m3ipkd1jho.fsf@passepartout.tim-landscheidt.de>
Tim Landscheidt <tim@tim-landscheidt.de> writes:
> [ "0x13" is lexed as "0" then "x13" ]
> Is this behaviour really conforming to the standard?
Well, it's pretty much the universal behavior of flex-based lexers,
anyway. A token ends when the next character can no longer sensibly
be added to it.
Possibly the documentation should be tweaked to mention the
number-followed-by-identifier case.
regards, tom lane
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-sql@postgresql.org
Cc: tgl@sss.pgh.pa.us, tim@tim-landscheidt.de
Subject: Re: Token separation
In-Reply-To: <17710.1326647758@sss.pgh.pa.us>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox