Joe Conway <mail@xxxxxxxxxxxxx> writes: > Unless we can convince ourselves that array-of-UNKNOWN is not dangerous, > I don't think this is easily solved. One possibility that might handle Martijn's problem is to allow the construct ARRAY[]::type[] that is, you can have an empty ARRAY construct only if you immediately cast it to a specific array type. The application typically knows what type the data is anyway, and if it just always plasters on the cast then the syntax would work regardless of whether there are any elements or not. regards, tom lane
