Bug in concat operator for Char?

People,

Severity: Serious Annoyance
Reproducable on: 7.4.1, 7.4.3, 7.5devel
Summary: Concatination of CHAR() data type field seems to result in a TEXT
value instead of a CHAR value. Is there a reason for this?

Example:
webmergers=> select '"'::char(4) || ''::char(4) || '"'::char(4);
?column?
----------
""
(1 row)

Depending on the spec, it seems to me that the above should result either in a
char(4) of " " or a char(12) of " " . But we get a text value.
Is this the SQL spec? Is there another reason for this behavior?

--
-Josh Berkus
Aglio Database Solutions
San Francisco