W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3686] fn-matches2args-1 fails static typechecking.

From: <bugzilla@wiggum.w3.org>
Date: Wed, 13 Sep 2006 11:43:23 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GNT9H-0001gF-Ez@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3686





------- Comment #8 from frans.englich@telia.com  2006-09-13 11:43 -------
Answering your question: yes, I believe so(not taking into account any
type/dynamic errors in the operand or its children, of course).

However, I don't think the suggested inference rules in #7 would work because
constructor functions are mapped to 'cast as' expressions. Therefore, I believe
the inference rules-changes need to be done for 'cast as'.
Received on Wednesday, 13 September 2006 11:43:31 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC