W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2003

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

From: Ashok Malhotra <ashokma@microsoft.com>
Date: Mon, 21 Jul 2003 07:43:15 -0700
Message-ID: <E5B814702B65CB4DA51644580E4853FB09840E90@red-msg-12.redmond.corp.microsoft.com>
To: "Michael Rys" <mrys@microsoft.com>, <public-qt-comments@w3.org>
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.


Received on Monday, 21 July 2003 10:43:48 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:13 UTC