- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 23 Jul 2008 11:25:26 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5795 --- Comment #21 from Frans Englich <frans.englich@telia.com> 2008-07-23 11:25:26 --- Regarding: "fs:dot has type none (because it is an error)". Could you elaborate on how the spec backs this up? Here's how I understand it: if fs:dot has type none because it raises an error(the context is undefined), then that means XPDY0002 never appears in the cases where subsequent code starts inferring based on the none type. And can the same kind of logic be applied to other expressions? E.g 1) it's statically detected an expression will raise an error; 2) the expression's type changes to none(which I don't understand why); 3) inference goes to work and the error is not reported. -- 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 Wednesday, 23 July 2008 11:26:01 UTC