Jan Wieck <[EMAIL PROTECTED]> writes:
> Can we add digits to the allowed character set of the marker?
We can't allow a digit right after the opening dollar sign; that would
look like a parameter.
I suppose we could allow $identifier$ though. That might be the easiest
compromise.
regards, tom lane
---------------------------(end of broadcast)---------------------------
TIP 3: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMAIL PROTECTED] so that your
message can get through to the mailing list cleanly
