[Bug 4024] ST-WhereExpr001 should not be expected to fail?

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





------- Comment #9 from per@bothner.com  2007-09-13 05:29 -------
(In reply to comment #8)
> Since ST-WhereExpr001 is a test for the optional Static Typing Feature, it
> means at least to me that implementations not implementing the Static Typing
> Feature, should not run it.

The XQTSCataLog.xml file describes the scenario as "runtime-error".

I don't see anything in the XQTS documenttaion or in XQTSCatalog.xml to say
that implementations not implementing the Static Typing should not run this
test, except maybe keying off the StaticTyping  directory in the FilePath. 
That seems a bit of a kludge.

> By that my conclusion is that the output is irrelevant, since static typing
> implementations must trigger a static type error(as per mrys' comment).
> 
> Per, does your implementation support the Static Typing Feature?

No - it does some ad-hoc static typing, so it catches some type errors at
compile time.

Received on Thursday, 13 September 2007 05:29:28 UTC