Jan Wieck writes:
> Could you live with it when we don't allow a name to start
> with a dollar, but allow the dollar inside or at the end of
> the name?
At the end would also be a problem because of parsing conflicts with
operators. (E.g., foo$<$bar) I don't really like this idea; we don't
have to follow all the nonsense of other people.
--
Peter Eisentraut peter_e(at)gmx(dot)net http://funkturm.homeip.net/~peter