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

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