Michael Glaesemann <grzm(at)myrealbox(dot)com> writes:
> On Thursday, November 6, 2003, at 02:38 AM, Tom Lane wrote:
>> IIRC we check that it is labeled IMMUTABLE.
> Thanks for the clarification. Is this in the documentation somewhere?
[digs...] No, because my recollection is wrong: there's no such check.
regression=# create function foo() returns bool as 'select true' language sql;
CREATE FUNCTION
regression=# create table foo (f1 int check (foo()));
CREATE TABLE
Possibly there should be such a restriction, but there isn't today...
regards, tom lane