Re: Dollar in identifiers

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@gmx.net   http://funkturm.homeip.net/~peter