Stephan Szabo <sszabo@megazone.bigpanda.com> writes:
> I'm really not sure that it makes sense to warn for the fk cases where the
> semantics should be correct (if they're not we need to fix it or make it
> an error) but in which an error might have been made by the user because
> the types are different given that it at least seems reasonable to me that
> the fk type is allowable to be a subset of the referenced type. I don't
> think simply different types is sufficient to be warning material.
I can think of several cases where it might be reasonable for the types
to be different. One case in particular that needs some thought is
where the FK and referenced PK are domains on a common base type.
regards, tom lane