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 17602 - [XQ31] Type alias / define
Summary: [XQ31] Type alias / define
Status: REOPENED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Requirements for Future Versions (show other bugs)
Version: Working drafts
Hardware: PC Linux
: P2 normal
Target Milestone: ---
Assignee: Jim Melton
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-06-26 12:20 UTC by John Snelson
Modified: 2016-09-26 05:06 UTC (History)
2 users (show)

See Also:


Attachments

Description John Snelson 2012-06-26 12:20:25 UTC
With the addition of higher order functions and the discussion around adding map values, SequenceTypes are becoming more and more complex - especially when building complex data structures from these types of values.

We should add a type alias (or type definition) facility to allow complex SequenceType to be referred to with simple QNames, and to allow the definition of recursive types:

declare type-alias my:transform-function as
  function($nodes as node()*, $params as map(*)) as item()*;
Comment 1 Jonathan Robie 2013-01-08 16:59:05 UTC
We discussed this in meeting #523 and decided this is a "may" requirement.

<quote>
Q2.9.17 Bugzilla Bug 17602, [XQ31ReqUC] Type alias / define
See http://www.w3.org/Bugs/Public/show_bug.cgi?id=17602

may (for maps)
</quote>
Comment 2 Jim Melton 2013-07-30 18:54:51 UTC
This bug has been redirected to the XQuery 3.1 document, as it has been accepted as a MAY requirement.
Comment 3 Jim Melton 2014-04-27 00:32:19 UTC
In their teleconference of 2014-04-22, the Working Group decided that this MAY requirement would not be satisfied in the XQuery 3.1 timeframe.  As a consequence, I am marking the bug RESOLVED/LATER.
Comment 4 Jim Melton 2014-04-27 00:34:09 UTC
In their teleconference of 2014-04-22, the Working Group decided that this MAY requirement would be reconsidered for any future version of XQuery, should such future version materialize.  As a consequence, I am recategorizing this bug as Requirements for Future Versions.
Comment 5 Michael Kay 2016-09-26 05:06:13 UTC
See

http://dev.saxonica.com/blog/mike/2016/09/tuple-types-and-type-aliases.html

for a Saxon extension designed to meet this requirement