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

RE: MS-FO-LC1-101: Result type of fn:distinct-values

From: Ashok Malhotra <ashokma@microsoft.com>
Date: Tue, 29 Jul 2003 08:21:21 -0700
Message-ID: <E5B814702B65CB4DA51644580E4853FB09D18711@red-msg-12.redmond.corp.microsoft.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:26 GMT