Michael Kay
- Login: mike
- Email: mike@saxonica.com
- Registered on: 2012-02-01
- Last connection: 2023-12-04
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 28 | 2558 | 2586 |
Reported issues | 22 | 1737 | 1759 |
Projects
Project | Roles | Registered on |
---|---|---|
Saxon | Manager, Developer, Reporter | 2012-02-06 |
Non-Conformances | Manager | 2020-02-26 |
Saxon-CE | Manager, Developer | 2012-02-01 |
SaxonC | Manager, Reporter | 2016-02-24 |
SaxonJS | Manager | 2016-07-28 |
SaxonMirrorHE | Manager, Developer | 2021-02-02 |
W3C QT Specifications | Manager | 2019-05-16 |
Activity
2023-12-01
-
-
-
1. In UserFunction, add a method to get the function item type for a specific arity within the function's arity range. The current `getFunctionItemType()` method gets the maxim... -
```
declare function local:f($x as xs:string, $y as xs:string, $z as xs:string := '1900-01-01') as xs:string {
concat($x, '-', $y, ' on ', $z)
};
declare fun...
2023-11-30
-
Bug #6270 (New): In 4.0, downcasting coercion is not working for dynamic function callsDowncasting coercion (allowing 42 to be supplied where the required type is `xs:positiveInteger`) has been implemented for static function calls but not for dynamic function calls. Revealed by new test case fn-filter-406. The code in `Ty...
2023-11-29
-
-
-
One possible culprit is String_1.elaborateForString(), which evaluates the `string()` function.
SubstringAfter and SubstringBefo... -
There's clearly a call on `fn:contains(x, y)`, and the code for evaluating y has returned null to represent an empty sequence when it was asked to return "" (...
2023-11-28
-
Moving the code that sets eagerEvaluation from `TryCatch.optimize()` to `TryCatch.typeCheck()` solves the problem for the opt:0 case, but not for the `opt:lvmt` case, as one would expect from the above analysis. Bug #6263: Test case try-031 fails under Saxon-HE (try/catch with lazy evaluation)The XSLT 3.0 test case try-031 is failing under Saxon-HE. The essence of the failure is that in the construct
```
<xsl:variable name="p" select="...."/>
<xsl:try>
<xsl:value-of select="$p"/>
<xsl:catch>
<caught/>
...
Also available in: Atom