12909 – [XQuery30] Should annotations be also possible for inline functions?

This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 12909 - [XQuery30] Should annotations be also possible for inline functions?

Summary: [XQuery30] Should annotations be also possible for inline functions?

Status:	RESOLVED FIXED

Alias:	None

Product:	XPath / XQuery / XSLT
Classification:	Unclassified
Component:	XQuery 3.0 (show other bugs)
Version:	Working drafts
Hardware:	PC Windows NT

Importance:	P2 normal
Target Milestone:	---
Assignee:	Jonathan Robie
QA Contact:	Mailing list for public feedback on specs from XSL and XML Query WGs

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2011-06-08 12:37 UTC by Peter M. Fischer
Modified:	2011-07-26 08:22 UTC (History)
CC List:	2 users (show)

See Also:

Attachments

Description Peter M. Fischer 2011-06-08 12:37:34 UTC

The current XQuery 3.0 working drafts permits annotations on variables and functions that are defined in the prolog.

Somewhat surprisingly, inline functions currently do not seem to allow annotations.
Clearly, there is no need for the built-in annotations like %nondeterministic or %private, but user-defined annotations or later %updating/%sequential have a clear use case.

Is there any particular reason why annotations on inline functions are currently not supported, in particular since they had been present in John Snelson's proposal?

http://john.snelson.org.uk/proposal-to-add-function-annotations-to-xquer

Comment 1 Ghislain Fourny 2011-07-26 08:22:50 UTC

A proposal along the lines of John Snelson's original proposal has been accepted to support annotations on inline functions.