On Tue, 23 Sep 2003, Dennis Bjorklund wrote:
> On Mon, 22 Sep 2003, Stephan Szabo wrote:
>
> > it says that the two types must be comparable. We basically implement the
> > latter, basically using the existance of a usable equality operator as the
> > determination of comparable.
>
> Is it possible to drop the equality operator when one have FK that needs
> it?
Actually, right now, I think it is (as are necessary casts). That's
probably not good, but since the actual constraint isn't that you can't
drop the equality operator, but that the types must still be comparable
after doing so, I'm not sure how one would represent that right now (for
example, given an int->foo equality operator and foreign key, if there was
say a numeric->foo equality operator, dropping the int one is probably
okay assuming an implicit int->numeric cast).
