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

[FS] MS-FS-LC1-107

From: Michael Rys <mrys@microsoft.com>
Date: Fri, 9 Jul 2004 13:47:05 -0700
Message-ID: <EB0A327048144442AFB15FCE18DC96C7035C3DD6@RED-MSG-31.redmond.corp.microsoft.com>
To: <public-qt-comments@w3.org>
Section 7.4

Technical

 

Prime(empty) = none: How can we get none as the prime type? Isn't that
leading to errors since none reflects the type of an error? Why not =
empty? For example, you say:

prime(element a | empty)                  = element a

But isn't this element a | none? And doesn't none propagate (so that we
propagate errors?)

 

 
Received on Friday, 9 July 2004 16:47:10 UTC

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