- From: Michael Rys <mrys@microsoft.com>
- Date: Tue, 29 Jul 2003 07:50:33 -0700
- To: "Ashok Malhotra" <ashokma@microsoft.com>, <public-qt-comments@w3.org>
In order to be able to use fn:distinct-values in a statically typed implementation, it needs to determine its static result type based on its static input type. And the result is that it is the prime type/quantifier of the input type. See formal semantics. Best regards Michael ________________________________ From: public-qt-comments-request@w3.org on behalf of Ashok Malhotra Sent: Tue 7/29/2003 7:41 AM To: Michael Rys; public-qt-comments@w3.org Subject: RE: MS-FO-LC1-101: Result type of fn:distinct-values Michael: 15.1.11 is fn:distinct-values which accepts xdt:anyAtomicType* and returns xdt:anyAtomicType*. I'm afraid I don't understand the comment below and what to do with it. All the best, Ashok > -----Original Message----- > From: public-qt-comments-request@w3.org [mailto:public-qt-comments- > request@w3.org] On Behalf Of Michael Rys > Sent: Wednesday, July 09, 2003 2:33 AM > To: public-qt-comments@w3.org > Subject: MS-FO-LC1-101: Result type of fn:distinct-values > > > Class: Technical > > Section 15.1.11: Result type is prime type (sequences become list of > unions) > >
Received on Tuesday, 29 July 2003 10:52:34 UTC