W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2007

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 13 Sep 2007 05:29:22 +0000
To: public-qt-comments@w3.org
Message-Id: <E1IVhGU-0007no-QR@wiggum.w3.org>


------- 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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:34 UTC