W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2008

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 26 Jun 2008 11:09:09 +0000
To: public-qt-comments@w3.org
Message-Id: <E1KBpLh-0002Da-AP@wiggum.w3.org>

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 : Tuesday, 27 March 2012 18:14:52 GMT