W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3665] Type checking fn:data(())

From: <bugzilla@wiggum.w3.org>
Date: Tue, 19 Sep 2006 14:58:44 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GPh3c-0000DK-GD@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3665





------- Comment #2 from simeon@us.ibm.com  2006-09-19 14:58 -------
I believe despite being odd, this definition is actually correct.
The prime function computes the item types for a given type. there is none for
the empty type.

when computing the factorization for empty the rules will be applied as
follows:

prime(empty) = none
quantifier(empty) = ?

prime(empty) . quantifier(empty) = none? = none | empty = empty

which should be the expected result.

- Jerome
Received on Tuesday, 19 September 2006 14:58:51 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC