http://www.w3.org/Bugs/Public/show_bug.cgi?id=5791 Tim Mills <tim@cbcl.co.uk> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|FIXED | --- Comment #9 from Tim Mills <tim@cbcl.co.uk> 2008-06-26 11:09:09 --- K-SeqExprInstanceOf-56 and K-SeqExprInstanceOf-57 are now correct. I've given you the wrong expected result for: K-SeqExprInstanceOf-58 error() instance of empty-sequence() should be true. The reason is that 'empty' is the same as 'none?'. So this is like (something of type T) instance of T? which is true. -- 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, 26 June 2008 11:09:43 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 June 2008 11:09:43 GMT