Project

Profile

Help

Bug #4804

closed

Failure in XX compiler, incorrect type inferencing

Added by Michael Kay over 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
XPath Conformance
Sprint/Milestone:
-
Start date:
2020-10-25
Due date:
% Done:

100%

Estimated time:
Applies to JS Branch:
2
Fix Committed on JS Branch:
2
Fixed in JS Release:
SEF Generated with:
Platforms:
Company:
-
Contact person:
-
Additional contact persons:
-

Description

See bug #4802

When compiling the stylesheet included in that bug entry under the XX compiler, it fails:

Compiling stylesheet /Users/mike/bugs/2020/4802-Priest/webApp.xsl
Failed to compile stylesheet: Static error in XPath on line 70 in 4802-Priest/webApp.xsl {         array:for-each($cells, function ($c) {           f:swapRowCol($c, array {})         })}: 
Required type of second argument of f:swapRowCol() is array(map(*)): actual type is array(xs:error0)
Error Q{http://www.w3.org/2005/xqt-errors}XPTY0004 at xpath.xsl#963
    Failed to compile stylesheet

Also revealed in that bug report is that asynchronous execution complicates the diagnostics. When first run, the -master: document was not well-formed XML. The stylesheet compilation and loading of the master document happen in parallel, which means that the messages from both errors get output, which is rather confusing. I'm not sure there's much we can do about that.

Please register to edit this issue

Also available in: Atom PDF Tracking page