[Bug 10880] [XQuery11] Should %deterministic and %nondeterministic be hints?

http://www.w3.org/Bugs/Public/show_bug.cgi?id=10880

Jonathan Robie <jonathan.robie@redhat.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX

--- Comment #1 from Jonathan Robie <jonathan.robie@redhat.com> 2010-11-02 16:33:18 UTC ---
We do not believe there is a problem that needs fixing. If an implementation
can give the correct result by optimizing, it may do so. It need only ensure
that it produces the same result that we define.

Editorially, we will change the one sentence as follows:

A function declaration may use the function annotations %deterministic
or %nondeterministic to specify that an external function is
deterministic (which is the default) or nondeterministic.

We will also add text here and in other places to restrict the annotations that
may occur in the fn namespace.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 2 November 2010 16:33:20 UTC