>>> Peter Eisentraut <Peter(dot)Eisentraut(at)Sun(dot)COM> wrote:
> Here is an implementation of distinct types, known from SQL99 and
> beyond. They are like domains, except that they don't have defaults
or
> constraints and they do not allow implicit casting to their base
type.
> The latter aspect is what makes them distinct types. They are useful
to
> create more type-safe database schemas, to prevent using generic
types
> such as text or int for everything and then mixing them in
inappropriate
> ways.
I expect I'll be using this. Thanks!
I notice there's no documentation yet. Do you have a reference to a
good description of the feature, consistent with your implementation?
If not, a couple questions:
(1) Can you compare a literal of the base type?
(2) Can you explicitly cast to the base type?
-Kevin