Thomas Hallgren <thomas@tada.se> writes:
> Only allow arrays with one dimension unless the parameter is of a domain
> type (domains are apparently stored with the actual number of
> dimensions).
No, they don't enforce dimensionality any more than ordinary array
columns do. typndims and attndims are both effectively just booleans:
is it an array or not?
> IMO, there is something seriously wrong here. Clearly the number of
> dimensions is a property of the type.
[ shrug... ] That's debatable. You could just as well argue that the
exact array size should be enforced by the type system.
regards, tom lane