RE: MS-FO-LC1-004: static type of fn:trace

Thank you for your comment.  The taskforce agrees with you and we will
make the requested change.

All the best, Ashok 

________________________________

From: public-qt-comments-request@w3.org
[mailto:public-qt-comments-request@w3.org] On Behalf Of Michael Rys
Sent: Monday, June 09, 2003 5:48 PM
To: public-qt-comments@w3.org
Subject: MS-FO-LC1-004: static type of fn:trace 

 

Class: Technical

 

Problem: In order to be a function that has no impact on the semantics
of the query, the fn:trace function needs to preserve the static type of
the input. The current specification does not express this.

 

Proposed solution: Mark the result type using the special indication and
define the static semantics in the formal semantics document.