So far I've only considered the '::' cast syntax suggested in the original proposal, e.g.:
ARRAY[]::text[] I wonder whether we are also interested in catching CAST(), e.g.: CAST(ARRAY[] AS text[]) I'm personally okay with leaving it at support for '::', but admittedly I am heavily biased towards this syntax (I find CAST very ugly). I suppose supporting CAST as well would be the more predictable behaviour; I think people might be surprised if we supported one form of casting but not the other. Comments? Regards, BJ ---------------------------(end of broadcast)--------------------------- TIP 2: Don't 'kill -9' the postmaster
