Re: [gobo-eiffel-develop] Usage of INTEGER_64

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
> Then the question is under what circumstances should `is_integer_64'
> return True?
> One answer that is inconsistent with your desired post-condition would
> be an Eiffel INTEGER_64 literal (as it might contain
> underscores). Likewise it can't contain a leading negative sign. 

That's true I forgot about that.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com