- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 23 Jul 2009 08:39:55 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4551
--- Comment #9 from Tim Mills <tim@cbcl.co.uk> 2009-07-23 08:39:55 ---
if (doc-available('unavailable.xml')) then () else error()
has static type 'empty | none' which is equivalent to 'empty' according to the
Formal Semantics.
--
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 Thursday, 23 July 2009 08:40:05 UTC