Re: typing and overflow

2014-10-29 Thread james anderson
good morning; On 2014-10-30, at 00:28, Rob Vesse wrote: > John > > […] > > There is some mention of numeric overflow in the XPath specification but I > can't see anything specific about the circumstances in which it should occur. the xpath language specifications[1,2] both “depend on" the re

Re: typing and overflow

2014-10-29 Thread John Yates
On Wed, Oct 29, 2014 at 6:36 PM, Steve Harris wrote: > Section 17.3 of the 1.1 query spec (sorry, can't link directly to it, on > my phone, but open the spec and search for "promotion") says that it does > type promotion (inherited from XPath F&O), and links to the description at > http://www.w3.

Re: typing and overflow

2014-10-29 Thread Rob Vesse
it should occur. Rob From: John Yates Date: Tuesday, 28 October 2014 04:59 To: Cc: Arthur Keen Subject: typing and overflow Resent-From: Resent-Date: Wed, 29 Oct 2014 21:06:55 + > Coming from the world of statically typed languages I am trying figure out > whether SPARQL

Re: typing and overflow

2014-10-29 Thread Steve Harris
Section 17.3 of the 1.1 query spec (sorry, can't link directly to it, on my phone, but open the spec and search for "promotion") says that it does type promotion (inherited from XPath F&O), and links to the description at http://www.w3.org/TR/xpath20/#promotion > On 28 Oct 2014, at 11:59, John

typing and overflow

2014-10-29 Thread John Yates
Coming from the world of statically typed languages I am trying figure out whether SPARQL specifies a model of type determination within expressions. C and C++ have a set of integral promotions and a rule that - in the absence of a prototype - float gets promoted to double. Those rules then imply