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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 23 July 2009 08:40:05 GMT