User defined operator fails to work in EXCLUDE constraint

[Paul Jones <pbj@xxxxxxxxxx>]

I tried to define my own circle operator to use in an EXCLUDE constraint but it fails to detect
insertion of rows that should not be simultaneously be allowed in the table.  The operator
compares two circles' radii and works for a simple SELECT.  What am I doing wrong?

Here is the code to reproduce.  The second insert at the end should fail because the two circles
have the same radius.

CREATE OR REPLACE FUNCTION circradcmp(aa CIRCLE, bb CIRCLE)
RETURNS BOOLEAN AS $$
DECLARE zz DOUBLE PRECISION;
BEGIN
        zz := abs(radius(aa) - radius(bb));
        IF (zz < 0.0005)
        THEN
                RETURN TRUE;
        ELSE
                RETURN FALSE;
        END IF;
END;
$$ LANGUAGE plpgsql;

CREATE OPERATOR === (
        LEFTARG = CIRCLE,
        RIGHTARG = CIRCLE,
        PROCEDURE = circradcmp,
        COMMUTATOR = ===
);

ALTER OPERATOR FAMILY circle_ops USING gist ADD
        OPERATOR 15 === (circle, circle);

CREATE TABLE punky
(
        acirc           CIRCLE,
        EXCLUDE USING GIST (acirc circle_ops WITH ===)
);      

INSERT INTO punky VALUES ('(0,0),3)');
INSERT INTO punky VALUES ('(7,0),3)');

Paul Jones


-- 
Sent via pgsql-general mailing list (pgsql-general@xxxxxxxxxxxxxx)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-general