Hi!
I played around with roles a bit today and noticed some minor things:
ALTER ROLE seems to support ALTER ROLE <name> ROLE <name> - but that
form is not mentioned in the docs:
playground=# CREATE ROLE myrole;
CREATE ROLE
playground=# CREATE ROLE myrole2;
CREATE ROLE
playground=# ALTER ROLE myrole ROLE myrole2;
ALTER ROLE
ALTER ROLE <name> IN ROLE <name> (undocumented but seems logical to try
because CREATE ROLE supports that) seems to result in the following a
bit cryptic error message:
playground=# CREATE ROLE myrole;
CREATE ROLE
playground=# CREATE ROLE myrole2;
CREATE ROLE
playground=# ALTER ROLE myrole IN ROLE myrole2;
ERROR: option "addroleto" not recognized
I understand that adding/removing role membership can be done by the
means of GRANT/REVOKE but at least improving the error message(or
stopping the parser from accepting that syntax) a bit would be nice :-)
Stefan
