[Bug 5791] Static Typing: CVS: K-SeqExprInstanceOf-56, 57, 58

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 UTC