Re: RfD: more powerful "any" types - Mailing list pgsql-hackers

From David E. Wheeler
Subject Re: RfD: more powerful "any" types
Date
Msg-id 2D036416-B71C-4A7C-A35F-3A6962119AE5@kineticode.com
Whole thread Raw
In response to Re: RfD: more powerful "any" types  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: RfD: more powerful "any" types
List pgsql-hackers
On Sep 8, 2009, at 10:15 AM, Tom Lane wrote:

>>     arg_a IS DISTINCT FROM arg_b
>
> Surely you'd want arg_a and arg_b constrained to the same type,
> otherwise there is no certainty that that means anything at all.

Yes, for the purposes of pgTAP perhaps so. Then it's on the user to do  
the cast, because she decides that the cast is appropriate. Otherwise,  
as I said, perhaps it'd be too magical.

Best,

David


pgsql-hackers by date:

Previous
From: Merlin Moncure
Date:
Subject: Re: RfD: more powerful "any" types
Next
From: Tom Lane
Date:
Subject: Re: RfD: more powerful "any" types