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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 29 July 2008 13:28:03 GMT