• Tom Lane's avatar
    Remove collation information from TypeName, where it does not belong. · a051ef69
    Tom Lane authored
    The initial collations patch treated a COLLATE spec as part of a TypeName,
    following what can only be described as brain fade on the part of the SQL
    committee.  It's a lot more reasonable to treat COLLATE as a syntactically
    separate object, so that it can be added in only the productions where it
    actually belongs, rather than needing to reject it in a boatload of places
    where it doesn't belong (something the original patch mostly failed to do).
    In addition this change lets us meet the spec's requirement to allow
    COLLATE anywhere in the clauses of a ColumnDef, and it avoids unfriendly
    behavior for constructs such as "foo::type COLLATE collation".
    
    To do this, pull collation information out of TypeName and put it in
    ColumnDef instead, thus reverting most of the collation-related changes in
    parse_type.c's API.  I made one additional structural change, which was to
    use a ColumnDef as an intermediate node in AT_AlterColumnType AlterTableCmd
    nodes.  This provides enough room to get rid of the "transform" wart in
    AlterTableCmd too, since the ColumnDef can carry the USING expression
    easily enough.
    
    Also fix some other minor bugs that have crept in in the same areas,
    like failure to copy recently-added fields of ColumnDef in copyfuncs.c.
    
    While at it, document the formerly secret ability to specify a collation
    in ALTER TABLE ALTER COLUMN TYPE, ALTER TYPE ADD ATTRIBUTE, and
    ALTER TYPE ALTER ATTRIBUTE TYPE; and correct some misstatements about
    what the default collation selection will be when COLLATE is omitted.
    
    BTW, the three-parameter form of format_type() should go away too,
    since it just contributes to the confusion in this area; but I'll do
    that in a separate patch.
    a051ef69
parse_utilcmd.c 77.3 KB