[GitHub] mbeckerle commented on issue #159: Restrict coercion of a whole expression

[GitBox <gi...@apache.org>]

mbeckerle commented on issue #159: Restrict coercion of a whole expression
URL: https://github.com/apache/incubator-daffodil/pull/159#issuecomment-451219295
 
 
   In what way is the expression 2 not an xs:int ? Our DPath compiler might choose to make all integers xs:integer and represent them as bignums at runtime, but that's perhaps just arbitrary. 
   
   2 fits within the range of every signed and unsigned integer decimal and floating point type.  From the type-system perspective it is of the required type. It should be accepted for any integer type at least. 
   
   The usual approach is that conversions that preserve information content perfectly are done automatically within numeric types, but those that involve rounding/truncation are not. 

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services