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

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

From: Michael Rys <mrys@microsoft.com>
Date: Tue, 29 Jul 2003 07:50:33 -0700
Message-ID: <EB0A327048144442AFB15FCE18DC96C7276194@RED-MSG-31.redmond.corp.microsoft.com>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:56:48 UTC