- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 24 Oct 2008 18:39:18 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6160
--- Comment #3 from Michael Dyck <jmdyck@ibiblio.org> 2008-10-24 18:39:17 ---
My proposed new rule has the premise
prime(Type0) = AtomicTypeName1 | ... | AtomicTypeNameN
and in your second inference above, when Type0 is bound to 'empty', you've
used the fact (from FS 8.4) that
prime(empty) = none
to bind N to 1 and AtomicTypeName1 to 'none'.
However, the thing to note is that 'none' isn't an AtomicTypeName, rather
it's a concrete way of denoting "a choice with zero alternatives". So the
proper way to use
prime(empty) = none
to satisfy the given premise is to bind N to 0. Whereupon:
-- the "convert_operand against" premises disappear,
-- TypeR is bound to 'none', and
-- the type inferred for the convert-operand() call is
none . quantifier(empty)
= none . ?
= empty
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 24 October 2008 18:39:26 UTC