Uncatched index probe error

[David Graf]

The following query shouldn't throw an error. But it does!

import module namespace idml = "http://www.zorba-xquery.com/modules/store/static/indexes/dml";

try {
 idml:probe-index-range-value(xs:QName("local:bla"),
                                       3, true(), true(), true(), true())
}
catch * {
  "catch"
}

I think it has to be a problem in the compiler. Because the Iterator Tree doesn't even seem to contain a TryCatchIterator. At least the next function of the TryCatchIterator is never reached.

[Matthias Brantner (matthias-brantner)]

IMHO, the query should raise a static error. The error should be (and is) detected at compile-time. The catch clause only catches errors raised during runtime. However, it is confusing that the error that is raised indicates that it's a dynamic error, i.e. zerr:ZDDY0025.

Maybe this should be changed.

[David Graf (davidagraf)]

Ah, yes. Sorry, I was confused. Of course the catch doesn't work!

Anyway: Should I replace ZDDY0025 with for example ZDST0061?