Re: Motion 46: finalise interval literals, amendments
On 2013-07-10 08:52:24 +0100, John Pryce wrote:
> Hmm. Am I right that this p/q feature is the ONLY place in the
> standard that specifies data structures of unbounded size? (Arrays,
> etc., are of unbounded size but are language responsibility, not
> ours.)
P1788 doesn't specify a data structure of unbounded size. But a
structure of unbounded size is needed to process the p/q feature
(in practice, for p/q, the size is proportional to the size of
the input instead of being bounded as usual). P1788 could specify
some acceptable minimal limit (to be discussed), e.g. N times
the maximum size of an integer in an irreducible fraction, with
N = ...
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)