[Bug 10848] [XQuery11] Statically detecting errors in try/catch and conditional expressions

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

Jonathan Robie <jonathan.robie@redhat.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                 CC|                            |jonathan.robie@redhat.com
         Resolution|                            |FIXED

--- Comment #5 from Jonathan Robie <jonathan.robie@redhat.com> 2010-12-14 00:57:49 UTC ---
(In reply to comment #4)
> The f2f minutes from Lyon indicate this bug was closed:
> 
> http://lists.w3.org/Archives/Member/w3c-xsl-query/2010Nov/0006.html
> 
> However, it is not closed, and I am not certain how it was resolved. Can
> someone please record their interpretation of the minutes here, so it's clear
> what the intended resolution was?

This is the text that I added to the Working Draft, based on my best
understanding from the minutes:

Independently of whether the Static Typing Feature is in effect, if an
implementation can determine during the static analysis phase that a QueryBody
, if evaluated, would necessarily raise a dynamic error or that an expression,
if evaluated, would necessarily raise a type error, the implementation may (but
is not required to) report that error during the static analysis phase.

I am closing this bug. If the soon-to-be released Working Draft does not
adequately address it, please reopen.

-- 
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, 14 December 2010 00:57:52 UTC