Bug in CREATE OPERATOR

As part of our development, one of our programmers created a new database
type, plus operators and functions to go with it. One of the things he did
was this:

CREATE OPERATOR testbit (
leftarg = bitset,
rightarg = int4,
procedure = testbit,
commutator = testbit
);

Notice that this is an ILLEGAL type - the name of the type (from docs) must
only contain these characters:

+ - * / < > = ~ ! @ # % ^ & | ` ? $

However, PostgreSQL 7.0.3 went right ahead and created the operator anyway!!

Now we have a big problem, as the DROP OPERATOR command cannot delete the
illegally named operator.

eg:

usa=# drop operator testbit (bitset, int4);
ERROR: parser: parse error at or near "testbit "
usa=# drop operator 'testbit ' (bitset, int4);
ERROR: parser: parse error at or near "'"
usa=# drop operator "testbit " (bitset, int4);
ERROR: parser: parse error at or near """

We can't delete it!!! I also assume that it was a bug that it could even be
created in the first place...

Chris

--
Christopher Kings-Lynne
Family Health Network (ACN 089 639 243)