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. - JeromeReceived 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