Skip to content

Implement spec changes for date/time and floating-point lexical values#2638

Merged
ChristianGruen merged 2 commits intoBaseXdb:mainfrom
GuntherRademacher:xsd-1.1-lexical
Apr 15, 2026
Merged

Implement spec changes for date/time and floating-point lexical values#2638
ChristianGruen merged 2 commits intoBaseXdb:mainfrom
GuntherRademacher:xsd-1.1-lexical

Conversation

@GuntherRademacher
Copy link
Copy Markdown
Member

Two changes from qtspecs PR #2522:

  • year 0 in date/time types: 0000 is now a valid year (between -0001 and 0001. Previously BaseX jumped directly from year -0001 to 0001.
  • +INF for positive infinity: +INF is now accepted as an additional lexical representation for positive infinity in xs:float and xs:double, besides the existing INF.

This fixes these QT4 tests:

  • fn-build-dateTime-year-zero
  • fn-build-dateTime-year-zero-from-map
  • fn-year-from-date-20
  • xs-double-004a
  • xs-float-004a
  • K2-SeqExprCast-231b
  • K2-SeqExprCast-232b
  • cbcl-cast-gYear-002a
  • cbcl-cast-gYear-003b
  • cbcl-cast-gYearMonth-003a

@ChristianGruen ChristianGruen merged commit f01732f into BaseXdb:main Apr 15, 2026
1 check passed
@ChristianGruen ChristianGruen deleted the xsd-1.1-lexical branch April 15, 2026 12:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants