"Brendan Jurd" <direvus@gmail.com> writes:
> The patch is very invasive (at least compared to any of my previous
> patches), but so far I haven't managed to find any broken behaviour.
I'm sorry to suggest anything at this point, but... would it be less invasive
if instead of requiring the immediate cast you created a special case in the
array code to allow a placeholder object for "empty array of unknown type".
The only operation which would be allowed on it would be to cast it to some
specific array type.
That way things like
UPDATE foo SET col = array[];
INSERT INTO foo (col) VALUES (array[]);
could be allowed if they could be contrived to introduce an assignment cast.
--
Gregory Stark
EnterpriseDB http://www.enterprisedb.com
Ask me about EnterpriseDB's RemoteDBA services!