Comment #2 from simeon (AT) us (DOT) 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