- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 29 Jul 2008 13:27:22 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5795 --- Comment #23 from Tim Mills <tim@cbcl.co.uk> 2008-07-29 13:27:22 --- > Regarding: "fs:dot has type none (because it is an error)". Could you elaborate > on how the spec backs this up? I can only state the equivalence of a dynmaic error (namely accessing an undefined context item) and a call to fn:error. This is backed up by Formal Semantics, which shows how the dynamic error raised by the "treat as" expression is normalized to a call to fn:error. [Expr treat as SequenceType]Expr == typeswitch ([ Expr ]Expr) case $fs:new as SequenceType return $fs:new default $fs:new return fn:error() -- 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 Tuesday, 29 July 2008 13:28:01 UTC