Joe Conway <mail@joeconway.com> writes:
> So array[] should produce '{}' of (an array) type determined by the
> context? OK -- seems easy enough.
Is it? I think we'd decided that this could only reasonably be handled
by creating a datatype representing array-of-UNKNOWN. I'm afraid to do
that because I think it might allow the parser's type resolution
algorithms to follow paths we will not like. Perhaps it can be made to
work, but I think it will require some careful study.
regards, tom lane