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

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