Bug #4804: Failure in XX compiler, incorrect type inferencing - SaxonJS - Saxonica Developer Community

Actions

Send by e-mail Copy link

Bug #4804

closed

Failure in XX compiler, incorrect type inferencing

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

Status:

Closed

Priority:

Normal

Assignee:

Michael Kay

Category:

XPath Conformance

Sprint/Milestone:

Start date:

2020-10-25

Due date:

% Done:

100%

Estimated time:

Applies to JS Branch:

Fix Committed on JS Branch:

Fixed in JS Release:

Saxon-JS 2.1

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.

Actions

Copy link

Updated by Michael Kay about 4 years ago

The basic problem here is that an empty array is a valid instance of array{map(*)) and isn't being recognised as such.

There's a secondary problem with the way the information is given: the inferred type of the empty array should be rendered as array(empty-sequence()) rather than array(xs:error0).

Actions

Copy link

Updated by Michael Kay about 4 years ago

Category set to XPath Conformance
Status changed from New to Resolved
Priority changed from Low to Normal
Applies to JS Branch 2.0, Trunk added
Fix Committed on JS Branch Trunk added

Fixed. Changes:

When reporting static errors in XPath expressions, do normalize-space() to make multi-line expressions presentable
Recognise the sequence type empty-sequence() in SequenceType.toString()
In TypeHierarchy.computeRelationship, recognise that the empty type is a subtype of every other type.

Actions

Copy link