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