Decimal sum ../c1 + ../c2 yields double - Githubissues

orbeon / orbeon-forms

Orbeon Forms is an open source web forms solution. It includes an XForms engine, the Form Builder web-based form editor, and the Form Runner runtime.

http://www.orbeon.com/

GNU Lesser General Public License v2.1

515 stars 221 forks source link

Decimal sum ../c1 + ../c2 yields double #1823

Open ebruchez opened 10 years ago

ebruchez commented 10 years ago

run https://gist.github.com/ebruchez/344f301173dc4676e27b
notice result 1.0E6
$c1 + $c2 or sum((../c1, ../c2)) work and yield a decimal

All types are marked as *:decimal in the source.

Not sure if this is a bug in Saxon and/or in the way we use it and pass types. What I observed with the debugger:

ArithmeticExpression is doing the sum
it has correct xs:decimal types on both hands
but the calculator is DoublePlusDouble

The calculator is set during typeCheck, and there the result type is considered XS_UNTYPED_ATOMIC.

ebruchez commented 10 years ago

This is probably not a new bug, moving to 4.8.