W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2012

[Bug 19504] [QT3TS] instanceof139

From: <bugzilla@jessica.w3.org>
Date: Mon, 15 Oct 2012 10:19:50 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19504-523-2LmI9gRdiK@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19504

--- Comment #11 from Tim Mills <tim@cbcl.co.uk> ---

> Although the only place we use subtyping judgements in the standard (namely
> for higher-order functions) isn't important enough to justify special
> treatment of this case, I can see that an implementation wanting to use the
> same judgements for static type checking would want to "get this right", and
> it's reasonable to want to use the same rules for both cases.

Yes, that the problem I was encountering.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Monday, 15 October 2012 10:19:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 15 October 2012 10:19:51 GMT