- From: Ashok Malhotra <ashokma@microsoft.com>
- Date: Tue, 29 Jul 2003 08:21:21 -0700
- To: "Michael Rys" <mrys@microsoft.com>, <public-qt-comments@w3.org>
Right! I'll add appropriate wording. 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: Tuesday, July 29, 2003 7:51 AM > To: Ashok Malhotra; public-qt-comments@w3.org > Subject: RE: MS-FO-LC1-101: Result type of fn:distinct-values > > > 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 11:21:30 UTC