Robert Haas <robertmhaas@gmail.com> writes:
> On Dec 29, 2010, at 7:56 AM, Noah Misch <noah@leadboat.com> wrote:
>> The exemptor shall have this signature:
>>
>> exemptor_func(
>> integer, -- source_typmod
>> integer -- dest_typmod
>> ) RETURNS boolean
>>
>> The exemptor shall return true iff datumIsEqual(x, x::target_type(dest_typmod))
>> for every x in source_type most recently coerced to source_type(source_typmod).
> I am not sure whether it's worth trying to be general here. Maybe we should just hard-code the known cases involving
coredatatypes.
I find the idea of hard coding to be pretty icky. However, the elephant
in the room here is the possibility of typmod getting replaced by some
other representation. It would make life simpler if we didn't invent
this additional type-specific API until that dust has settled. So maybe
the plan should be hard-coding in the short term and add an API later.
regards, tom lane