On Tue, Oct 31, 2006 at 09:28:29AM +0000, Jan Rittinger wrote:

Update of /cvsroot/monetdb/pathfinder/compiler/core In directory sc8-pr-cvs7.sourceforge.net:/tmp/cvs-serv27557/core

Modified Files: coreopt.brg fs.brg Log Message: -- Aligned typing of the rule 'locpath (StepExpr, StepExpr)' (StepExpr may e.g., be a step with an predicate) with the specification. Instead of a typeswitch that casts all sequences of nodes into node* before applying distinct-doc-order we now introduce a function '#pf:distinct-doc-order-or-atomic-sequence'. It can handle the typing without loosing the more specific type and will be replaced in the core optimization either by a distinct-doc-order (in case of a node sequence) or the input of the function (in case of an atomic sequence).

(This should also solve Stefans typing problems.)

yes, it does!

(just like it fixed the same problem as reported in bug #1586454 "XQ: treat as")

Thanks, Jan!

Stefan